The Calculus of Computation : Decision Procedures with Applications to Verification
Bradley, Aaron R.
ISBN 10:
8184893965 ISBN 13:
9788184893960
Published by Springer (sie), 2010
Language: English
Condition: Like New
Soft cover
From dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since September 28, 2015
Used - Soft cover
Price:
US$ 57.21
Convert Currency
US$ 33.23
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket
