BooksPrice.com

book price comparison

ISBN 3642253784 books & textbook

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science, 7086)

Jouannaud, Jean-Pierre  Shao, Zhong  

Springer /2011-11-18 Paperback / 416 Pages
isbn-10: 3642253784 / isbn-13: 9783642253782
 

compare price