Formal Techniques for Networked and Distributed Systems - FORTE 2004
de David de Frutos-Escrig, Manuel Nunez
Materias
Ediciones (1)
- Formal Techniques for Networked and Distributed Systems - FORTE 2004 (2004)
Springer London, Limited · inglés · ISBN 9783540302322