• Formal Methods and Software En...
  • Beschreibung

Treffer: Formal Methods and Software Engineering

Titel:
Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / edited by Zhiming Liu, Jifeng He
Beteiligt:
Liu, Zhiming (Herausgeber); He, Jifeng (Herausgeber)
Ausgabe:
1st ed. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 792 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4260
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540474609
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540474623 ; 3540474625 ; --354047460-9 ; --354083189-4 ; 978--354047460-9 (Sekundärausgabe) ; 978--354083189-1 (Sekundärausgabe)
DOI:
10.1007/11901433

Zusatz-Informationen

Zusatz-Funktionen