CURRENTLY SOLD OUT

Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2000)