ISBN 3540253270 books & textbook
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423)
Fiadeiro, José Luiz Mosses, Peter Orejas, Fernando
Springer /2005-03-23 Paperback / 288 Pages
isbn-10: 3540253270 / isbn-13: 9783540253273
