All Formats & Editions
1 - 2 of 2 results found
Model Checking, Second Edition
Edition Description
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether...
Edition Details
Format:Hardcover
Language:English
ISBN:0262038838
Format: Hardcover
Temporarily Unavailable
2 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Model Checking
Edition Description
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular,...
Edition Details
Format:Hardcover
Language:English
ISBN:0262032708
Format: Hardcover
Condition:
$
14.19
Save $60.81!
List Price: $75.00
Almost Gone, Only 1 Left!
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
