*Result*: Formal Techniques for Distributed Systems
*Title*:
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / edited by Dirk Beyer, Michele Boreale
*Author/editor-in-chief*:
*Edition*:
1st ed. 2013
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 321 Seiten) : 66 illus.
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 7892
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642385919
*Subject Added Keywords*:
*ISBN*:
9783642385926 ; 3642385923 ; 978--364238591-9 (Sekundärausgabe) ; 978--364238593-3 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-38592-6