*Result*: Formal Techniques for Distributed Systems
*Title*:
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / edited by Roberto Bruni, Juergen Dingel
*Author/editor-in-chief*:
*Edition*:
1st ed. 2011
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 349 Seiten) : 56 illus., 16 illus. in color.
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 6722
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - ISBN 9783642214608
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
9783642214615 ; 3642214614 ; 978--364221460-8 (Sekundärausgabe) ; 978--364221462-2 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-21461-5