Register
Sign In
Search by Specific Product Lines
Book
eBook
Audio / Video
Subscriptions
Software / Other
Toggle navigation
Home
Browse by Category
Technology & Engineering
Business & Economics
Education
Reference
Science
Medical
Computers
Browse by Product Line
Books
E-Books
Subscriptions
Audio / Video
Software / Other
Services
Bulk Orders
Subscription Claim
Rush Delivery
Schedule a Speaker
Out of Print Titles
Cataloging Services
Product Add Ons
New Site Features
CART
0
Computers
Category
"If we encounter a man of rare intellect, we should ask him what books he reads."
― Ralph Waldo Emerson
Model Checking, Second Edition
Kroening, Daniel
Hardcover
(2nd ed)
Out of Stock
In Cart!
1
Filter your search
Product Format
[ Clear ]
Hardcover
Publisher
[ Select All ]
MIT Press
1
BISAC Subject
[ Clear ]
Computers
Content Language
[ Clear ]
[ Select All ]
English
1
Grade Level
[ Clear ]
[ Select All ]
College Sophomore
College Freshman
1
College Junior
1
College Senior
1
Post Graduate
1
Up
1
Author
[ Clear ]
Jr, Edmund M. Clarke
Leona Planners, Maria
4
D'Arcy, Aoife
2
Dourish, Paul
2
Emotionstagebuch, Karls
2
Kelleher, John D.
2
Lowe, Elena
2
See More