Advanced Formal Verification

by RolfDrechsler (Editor), Rolf Drechsler (Editor)

New
Illustrated
2004
$168.45

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.

Synopsis

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.

$168.45

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 280
Edition: 2004
Publisher: Springer
Published: 31 Jan 2004
ISBN 10: 1402077211
ISBN 13: 9781402077210

Advanced Formal Verification

New

$168.45

Synopsis

$168.45

More Information