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

Regular price $128.99
/
Condition
  • Free shipping on orders $35+
  • 30 day returns
  • Condition shown on each listing
  • 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.

Book Details

  • Author: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
  • Publisher: The MIT Press
  • Binding: Hardcover
  • ISBN-13: 9780262038836
  • ISBN-10: 0262038838

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.

Recently viewed