Treffer: FM 2006: Formal Methods
Titel:
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Verantwortlich:
Ausgabe:
1st ed. 2006
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XV, 620 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4085
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: FM 2006: Formal Methods. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540372158
Schlagworte:
ISBN:
9783540372165 ; 3540372164 ; --354037215-6 ; --354082756-0 ; 978--354037215-8 (Sekundärausgabe) ; 978--354082756-6 (Sekundärausgabe)
DOI:
10.1007/11813040