BooksPrice.com

book price comparison

ISBN 9783838300825 books & textbook

Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking

Strichman, Ofer  

LAP LAMBERT Academic Publishing /2010-05-15 Paperback / 116 Pages
isbn-10: 3838300823 / isbn-13: 9783838300825
 

compare price