Treffer: Integrated Formal Methods
Titel:
Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings / edited by Michael Leuschel, Heike Wehrheim
Verantwortlich:
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 367 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5423
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Integrated Formal Methods. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642002540
Schlagworte:
ISBN:
9783642002557 ; 3642002552 ; 978--364200254-0 (Sekundärausgabe) ; 978--364200256-4 (Sekundärausgabe)
DOI:
10.1007/978-3-642-00255-7