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 June 4, 2003
Association Member:
Used -
Price:
US$ 32.65
Convert Currency
US$ 22.64
shipping from Germany to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket
