Treffer: Formal Methods and Software Engineering
Titel:
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun
Verantwortlich:
Ausgabe:
1st ed. 2013
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVIII, 466 Seiten) : 136 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 8144
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642412011
Schlagworte:
ISBN:
9783642412028 ; 3642412025 ; 978--364241201-1 (Sekundärausgabe) ; 978--364241203-5 (Sekundärausgabe)
DOI:
10.1007/978-3-642-41202-8