• Formal Methods and Software En...
  • Bestand

Treffer: Formal Methods and Software Engineering

Titel:
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings / edited by Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
Beteiligt:
Butler, Michael (Herausgeber); Hinchey, Michael G (Herausgeber); Larrondo-Petrie, Maria M (Herausgeber)
Ausgabe:
1st ed. 2007
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 387 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4789
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540766483
Schlagworte:
ISBN:
9783540766506 ; 3540766502 ; 978--354076648-3 (Sekundärausgabe) ; 978--354084578-2 (Sekundärausgabe)
DOI:
10.1007/978-3-540-76650-6

Zusatz-Informationen

Zusatz-Funktionen