The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

Published by New Age International Publisher, 2010

  • Softcover
  • Used
See all details

Seller: mountain, GEORGETOWN, CO, U.S.A.mountain

5-star seller

AbeBooks seller since September 18, 2017

View this seller's items
Softcover

Condition: Used - Good

US$ 43.51

US$ 5.00 shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

Softcover book, light wear to cover and book edges.

Seller Inventory # 2DF5TK001F6S

Report this item

Bibliographic details

Title
The Calculus of Computation : Decision Procedures with Applications to Verification
Author
Bradley, Aaron R.
Publisher
New Age International Publisher
Publication year
2010
Condition
Good
Binding
paperback

mountain

GEORGETOWN, CO, U.S.A.

5-star seller

AbeBooks seller since September 18, 2017

Shipping rates within U.S.A.

Item4 to 14 business days3 to 6 business days
First itemUS$ 5.00US$ 8.15
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

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

Specialty

antiquarian, academic book sets, Scholar, German, Italian Books, first editions, rare sets

Seller's business information

leifbooks Inc

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

Contact sellerView this seller's itemsView seller's storefront