Formal Techniques for Networked and Distributed Systems - FORTE 2002
de Doron A. Peled, Moshe Y. Vardi
Ediciones (1)
- Formal Techniques for Networked and Distributed Systems - FORTE 2002 (2003)
Springer London, Limited · inglés · ISBN 9783540361350
de Doron A. Peled, Moshe Y. Vardi
Springer London, Limited · inglés · ISBN 9783540361350
