Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-29, 2006 ... Notes in Computer Science (4229), Band 4229)

von: Elie Najm · Jean-François Pradat-Peyre · Véronique Viguié Donzeau-Gouge Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-46219-4 ISBN-10: 3-540-46219-8 Springer · 2009