Skip to content
Menu Button
Scan a barcode
Scan
My Lists
Scan a barcode
Scan
Give & Get Double
Earn 2x Points Sitewide
Computers & Technology Books > Graphic Design Books
Hardcover Model Checking, Second Edition Book
Share to Facebook
Share to Pinterest
Share to Twitter

ISBN: 0262038838

ISBN13: 9780262038836

Model Checking, Second Edition

by , , , et al.
No Customer Reviews

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: New

$100.66
Almost Gone, Only 4 Left!
Ships within 4-7 days
Add to Wish List

Book Overview

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 an abstract model--representing, for example, a hardware or software design--satisfies a formal specification expressed as a temporal logic formula. If the specification...

Related Subjects

3D Graphics Computer Science Computers Computers & Technology Education & Reference Electrical & Electronics Engineering Graphic Design Graphics & Multimedia Information Systems

Customer Reviews

0 rating
Write a review
Trustpilot

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Follow Us

Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Copyright © 2024 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
GoDaddy Verified and Secured