ISBN 3540462198 books & textbook
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, ... (Lecture Notes in Computer Science, 4229)
Najm, Elie Pradat-Peyre, Jean-Francois Donzeau-Gouge, Véronique Viguié
Springer /2006-09-27 Paperback / 500 Pages
isbn-10: 3540462198 / isbn-13: 9783540462194
