Image Not Available

The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

Published by New Age International Publisher, 2010

Condition: Used - Good Soft cover

From mountain, GEORGETOWN, CO, U.S.A.

Seller rating 5 out of 5 stars

AbeBooks Seller since September 18, 2017

View this seller's items

View all copies of this book

Used - Soft cover

Price: US$ 25.46 Convert Currency

US$ 5.00 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

About this Item

Softcover book, light wear to cover and book edges. Seller Inventory # 2DF5TK001F6S

Report this item

Bibliographic Details

Title: The Calculus of Computation : Decision ...

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.

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:

Payment Methods
accepted by seller

Add to Wants