Title: The Calculus of Computation : Decision Procedures with Applications to Verification
Publisher: New Age International Publisher
Publication Date: 2010
Binding: paperback
Condition: Good

Store Description

We specialize in rare and hard to find titles as well as popular books in all subjects and languages.

Visit Seller's Storefront

Seller's business information

leifbooks Inc
P.O. box 577, GEORGETOWN, CO, 80444, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Detailed Seller Information

Payment Methods

Add to Wants