Treffer: Formal Techniques for Distributed Systems
Titel:
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / edited by Holger Giese, Grigore Rosu
Verantwortlich:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIII, 269 Seiten) : 75 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7273
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642307928
Schlagworte:
ISBN:
9783642307935 ; 3642307930 ; 978--364230792-8 (Sekundärausgabe) ; 978--364230794-2 (Sekundärausgabe)
DOI:
10.1007/978-3-642-30793-5