Calculus of Computation : Decision Procedures With Applications to Verification
Bradley, Aaron R.; Manna, Zohar
From GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 6, 2009
Used - Soft cover
Quantity: Over 20 available
Add to basket