Bestellen Terug

Hoofdkenmerken

Auteur:	Zhu, Huibiao
Redactie:	Zhu, Huibiao
Titel:	Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783642169007
ISBN boekversie:	9783642169014
Serie:	Lecture Notes in Computer
Land van oorsprong:	Germany
Prijs:	€ 137.76
Verschijningsdatum:	27-10-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Software Engineering
Geillustreerd:	202 Illustrations, black and white; XIV, 712 p. 202 illus.
Dewey code:	005.131

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	712

 

Inhoud:

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions.