Bestellen Terug

Hoofdkenmerken

Auteur:	Steffen, Bernhard
Redactie:	Steffen, Bernhard
Titel:	Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium,
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540884781
Serie:	Communications in Computer and
Editie:	2008 ed.
Land van oorsprong:	Germany
Prijs:	€ 191,66
Verschijningsdatum:	10-10-2008
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer modelling & simulation
Geillustreerd:	XIV, 869 p.
Dewey code:	005.12

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	869
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1329

 

Inhoud:

Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.