• Formal Methods and Software En...
  • Inhaltsangabe

Treffer: Formal Methods and Software Engineering

Titel:
Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / edited by Jin Song Dong, Huibiao Zhu
Beteiligt:
Dong, Jin Song (Herausgeber); Zhu, Huibiao (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 712 Seiten) : 202 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 6447
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642169007
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642169014 ; 3642169015 ; 978--364216900-7 (Sekundärausgabe) ; 978--364216902-1 (Sekundärausgabe)
DOI:
10.1007/978-3-642-16901-4

Zusatz-Informationen

Zusatz-Funktionen