Model Checking, second edition

Model Checking, second edition

Model Checking, second edition

Author(s): Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Publisher: The MIT Press
Binding: Hardcover
/
  • Free shipping on orders $35+
  • 30 day returns
  • New condition
  • In stock, ready to ship
  • Inventory on the way
Shipping calculated at checkout.

New copy of Model Checking, second edition by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled. - Hardcover, Published by The MIT Press, 424 pages, ISBN-13: 9780262038836, ISBN-10: 0262038838.

Hassle-free 30-day returns. Free shipping on orders over $35.

We ship at a flat rate of $9.99 per order. Orders $35 and up ship free of charge.

This site is protected by hCaptcha and the hCaptcha Privacy Policy and Terms of Service apply.

More Computers & Technology

Against the Web: A Cosmopolitan Answer to the New Right
Likewar: The Weaponization of Social Media
Micro:bit for Mad Scientists: 30 Clever Coding and Electronics Projects for Kids
The Four: The Hidden DNA of Amazon, Apple, Facebook, and Google
The Fourth Industrial Revolution
The Alignment Problem: Machine Learning and Human Values
How to Code a Sandcastle
Teaching in Blended Learning Environments: Creating and Sustaining Communities of Inquiry
Browse all Computers & Technology

Let customers speak for us

from 15683 reviews

arrived earlier than expected. book was in good used condition

Jason
Just Great Books

My book arrived a week before the the expected date and I'm very happy with the transaction. :)

Heather
Just Great Books

Item arrived in great condition, before scheduled arrival time. Great read!

John
Just Great Books

Arrived on time and in perfect condition.

Joy
Just Great Books

I just received my copy of the Constitution of Canada today...WELL ahead of schedule! Great service...thank you so much!

Tammy
Just Great Books

Easy to order online, got a confirmation email right away, shipping was fast, received book within one week! Thank you!

Anonymous
A New Collection of Three Complete Novels — Snow in April; Wild Mountain Thyme; Flowers in the Rain
You may also like
More from The MIT Press
Recently viewed