• Formal Methods and Software En...
  • *Table of Contents*

*Result*: Formal Methods and Software Engineering

*Title*:
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
*Author/editor-in-chief*:
Dong, Jin Song (Herausgeber); Zhu, Huibiao (Herausgeber)
*Edition*:
1st ed. 2010
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 712 Seiten) : 202 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 6447
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642169007
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783642169014 ; 3642169015 ; 978--364216900-7 (Sekundärausgabe) ; 978--364216902-1 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-16901-4

*Additional information*

*Additional functions*