ISBN 3540675302 books & textbook
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science, 1816)
Springer /2000-05-03 Paperback / 545 Pages
isbn-10: 3540675302 / isbn-13: 9783540675303
