• Formal Methods and Software En...
  • Bestand

Treffer: Formal Methods and Software Engineering

Titel:
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki
Beteiligt:
Liu, Shaoying (Herausgeber); Maibaum, Tom (Herausgeber); Araki, Keijiro (Herausgeber)
Ausgabe:
1st ed. 2008
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 397 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5256
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540881933
Schlagworte:
ISBN:
9783540881940 ; 3540881948 ; 978--354088193-3 (Sekundärausgabe) ; 978--354088298-5 (Sekundärausgabe)
DOI:
10.1007/978-3-540-88194-0

Zusatz-Informationen

Zusatz-Funktionen