VU Boekhandel

Hoofdkenmerken

Auteur:	Drechsler, Rolf
Redactie:	Drechsler, Rolf
Titel:	Advanced Formal Verification
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781441954206
Editie:	Softcover reprint of the original 1st ed. 2004
Land van oorsprong:	United States
Prijs:	€ 146.40
Verschijningsdatum:	07-12-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Artificial intelligence
Geillustreerd:	XXVI, 250 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	250
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	860

Inhoud:

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice.