Treffer: FM 2009: Formal Methods
Titel:
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / edited by Ana Cavalcanti, Dennis Dams
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVII, 820 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5850
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: FM 2009: Formal Methods. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642050886
Schlagworte:
ISBN:
9783642050893 ; 3642050891 ; 978--364205088-6 (Sekundärausgabe) ; 978--364205090-9 (Sekundärausgabe)
DOI:
10.1007/978-3-642-05089-3