Bestellen Terug

Hoofdkenmerken

Auteur:	Larrondo-Petrie, Maria M.
Redactie:	Larrondo-Petrie, Maria M.
Titel:	Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA,
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540766483
ISBN boekversie:	9783540766506
Serie:	Programming and Software
Editie:	2007 ed.
Land van oorsprong:	Germany
Prijs:	€ 86.50
Verschijningsdatum:	07-11-2007
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Software Engineering
Geillustreerd:	VIII, 387 p.
Dewey code:	005.131

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	387
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	611

 

Inhoud:

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.