Treffer: Formal Methods for Open Object-Based Distributed Systems
Titel:
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe
Beteiligt:
Ausgabe:
1st ed. 2008
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 259 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5051
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Open Object-Based Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540688624
Schlagworte:
ISBN:
9783540688631 ; 3540688633 ; 978--354068862-4 (Sekundärausgabe) ; 978--354084819-6 (Sekundärausgabe)
DOI:
10.1007/978-3-540-68863-1