ISBN 9783642133206 books & textbook
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings (Lecture Notes in Computer Science, 6120)
Bolduc, Claude Desharnais, Jules Ktari, Bechir
Springer /2010-06-01 Paperback / 437 Pages
isbn-10: 3642133207 / isbn-13: 9783642133206
