Formal Techniques for Networked and Distributed Systems - FORTE 2006
de Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
Materias
Ediciones (1)
- Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Springer London, Limited · inglés · ISBN 9783540462200
