The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Aaron R. Bradley Books

Results for Aaron R. Bradley

Showing 1 to 1 of 1 results
The Calculus of Computation: Decision Procedures with Applications to Verification The Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. Bradley,Zohar Manna

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna


ISBN 13: 9783642093470

Format: Paperback (382 pages)
Publisher: Springer
Published: 19 Oct 2010

Save for later

 
New : $54.90  
New : $54.90