• Formal Techniques for Networke...
  • Bestand

Treffer: Formal Techniques for Networked and Distributed Systems - FORTE 2006

Titel:
Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / edited by Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
Verantwortlich:
Najm, Elie (Herausgeber); Pradat-Peyre, Jean-Francois (Herausgeber); Donzeau-Gouge, Véronique Viguié (Herausgeber)
Ausgabe:
1st ed. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 488 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4229
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Networked and Distributed Systems - FORTE 2006. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540462194
Schlagworte:
ISBN:
9783540462200 ; 3540462201 ; --354046219-8 ; --354083112-6 ; 978--354046219-4 (Sekundärausgabe) ; 978--354083112-9 (Sekundärausgabe)
DOI:
10.1007/11888116

Zusatz-Informationen

Zusatz-Funktionen