Formal Techniques for Distributed Systems
Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Edición de la obra Formal Techniques for Distributed Systems
| Autor | Roberto Bruni |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642214608, 9783642214615 |
| LCCN | 2011928308 |
| Serie | Lecture Notes in Computer Science -- 6722 |
| Número de Cutter |