Category - Textbook/Educational Curriculum / College & Above
Format - Hardcover
Condition - Fair
Listed - 5 months ago
Views - 13
Ships From - New Mexico
Est. Publication Date - Apr 2008
Seller Description
The cover has some small dents, tears and scratches. The binding is a little damaged. One page is written on.
Additional Information
Publisher Description
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical ex...
Read more
Be The First One To Review
Review the book today!
Rate The Book
Published
Drafts
Condition
Used
New / Like New
Format
Paperback
Hardcover
