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
  • Condition shown on each listing
  • 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.

ISBN-13: 9783642093470, ISBN-10: 3642093477.

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

Book Details

  • Author: Aaron R. R. Bradley, Zohar Manna
  • Publisher: Springer
  • Binding: Paperback
  • ISBN-13: 9783642093470
  • ISBN-10: 3642093477

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

The 2-Hour Job Search, Second Edition: Using Technology to Get the Right Job Faster
Apple in China: The Capture of the World's Greatest Company
Rebel Code: Linux and the Open Source Revolution
Irresistible: The Rise of Addictive Technology and the Business of Keeping Us Hooked
The Very Busy Spider: A Lift-the-Flap Book
Python Pocket Reference: Python In Your Pocket
Quantum Computing for Everyone
The Art of the Click: How to Harness the Power of Direct-Response Copywriting and Make More Sales
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 Springer
Recently viewed