BooksPrice.com

book price comparison

Ogawa, Mizuhito books & textbook

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Programming and Software Engineering)

Van Hung, Dang  Ogawa, Mizuhito  

Springer /2013-09-11 Paperback / 542 Pages
isbn-10: 3319024434 / isbn-13: 9783319024431
   

compare price