The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Author(s): Aaron R. R. Bradley, Zohar Manna
Publisher: Springer
Binding: Paperback
/
  • 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 The Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. R. Bradley, Zohar Manna. - Paperback, Published by Springer, 382 pages.

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.

Let customers speak for us

from 15682 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 Springer
Recently viewed