Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . Papers (Lecture Notes in Computer Science)

Armin Biere, Amir Nahir, Tanja Vos

ISBN 10: 3642396100 ISBN 13: 9783642396106
Published by Springer 2013-07-19, 2013
Language: English
Condition: New Soft cover

Sold by Chiron Media, Wallingford, United Kingdom

AbeBooks Seller since August 2, 2010

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

View this seller's items


New - Soft cover

Condition: New

Price: US$ 58.31 Convert Currency
US$ 20.64 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 10 available

Add to basket