Treffer: Formal Techniques for Distributed Systems
Titel:
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
Verantwortlich:
Ausgabe:
1st ed. 2013
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 321 Seiten) : 66 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7892
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642385919
Schlagworte:
ISBN:
9783642385926 ; 3642385923 ; 978--364238591-9 (Sekundärausgabe) ; 978--364238593-3 (Sekundärausgabe)
DOI:
10.1007/978-3-642-38592-6