Scalable Techniques for Formal Verification

New
Hardcover
2010
$164.86

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Synopsis

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

$164.86

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 240
Edition: 1st Edition.
Publisher: Springer
Published: 22 Aug 2010
ISBN 10: 1441959971
ISBN 13: 9781441959973

Scalable Techniques for Formal Verification

New

$164.86

Synopsis

$164.86

More Information