Formal Techniques for Distributed Systems
Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010, Proceedings
Edición de la obra Formal Techniques for Distributed Systems
| Autor | John Hatcliff, Elena Zucca |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| Páginas | 233 |
| ISBN-13 | 9783642134647 |
| Número de Cutter | H361f |