*Result*: Formal Methods for Open Object-Based Distributed Systems
*Title*:
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
*Author/editor-in-chief*:
*Edition*:
1st ed. 2008
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 259 Seiten)
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 5051
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Methods for Open Object-Based Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540688624
*Subject Added Keywords*:
*ISBN*:
9783540688631 ; 3540688633 ; 978--354068862-4 (Sekundärausgabe) ; 978--354084819-6 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-68863-1