Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6. 1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Edición de la obra Formal Techniques for Networked and Distributed Systems - FORTE 2007
| Autor | John Derrick, Jüri Vain |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540731962 |
| Número de Cutter | D438f |