Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Edición de la obra Formal Techniques for Networked and Distributed Systems - FORTE 2002
| Autor | Doron A. Peled, Moshe Y. Vardi |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540361350 |
| Número de Cutter | P381f |