• Formal Methods and Software En...
  • Inhaltsangabe

Treffer: Formal Methods and Software Engineering

Titel:
Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti
Beteiligt:
Breitman, Karin (Herausgeber); Cavalcanti, Ana (Herausgeber)
Ausgabe:
1st ed. 2009
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 758 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5885
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642103728
Schlagworte:
ISBN:
9783642103735 ; 3642103731 ; 978--364210372-8 (Sekundärausgabe) ; 978--364210374-2 (Sekundärausgabe)
DOI:
10.1007/978-3-642-10373-5

Zusatz-Informationen

Zusatz-Funktionen