ISBN 3642034284 books & textbook
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5486)
Corradini, Andrea Montanari, Ugo
Springer /2009-09-07 Paperback / 351 Pages
isbn-10: 3642034284 / isbn-13: 9783642034282
