Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings By David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)
2002 | 508 Pages | ISBN: 3540441441 | PDF | 7 MB