ISBN 3540678980 books & textbook
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers (Lecture Notes in Computer Science, 1827)
Bert, Didier Choppy, Christine Mosses, Peter
Springer /2000-09-06 Paperback / 476 Pages
isbn-10: 3540678980 / isbn-13: 9783540678984
