All Formats & Editions
1 - 2 of 2 results found
Systems and Software Verification: Model-Checki...
Edition Description
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
This book provides a basic introduction to this new technique...
Edition Details
Format:Paperback
Language:English
ISBN:3642074782
Format: Paperback
Condition:
$
159.99
Systems and Software Verification: Model-Checki...
Edition Description
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
This book provides a basic introduction to this new technique...
Edition Details
Format:Hardcover
Language:English
ISBN:3540415238
Format: Hardcover
Condition:
$
159.99
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
