The Calculus of Computation. Decision Procedures with Applications to Verification. Bln., Springer (2007). gr.8°. XV, 366 p. Harbound. With exercises.- Like new.
BRADLEY, Aaron R. & Zohar MANNA
From Antiquariat Renner OHG, Albstadt, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 4 June 2003
Association Member:
Used -
Price:
£ 24.55
Convert Currency
£ 17.02
shipping from Germany to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket
