ISBN 9783540642992 books & textbook
Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science, 1376)
Springer /1998-03-11 Paperback / 452 Pages
isbn-10: 3540642994 / isbn-13: 9783540642992
