Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /

This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST'93), held at the University of Twente, The Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for s...

Full description

Bibliographic Details
Main Author: Nivat, M.
Corporate Author: SpringerLink (Online service)
Other Authors: Rattray, Charles, Rus, Teodor, Scollo, G. (Giuseppe)
Format: eBook
Language:English
Published: London : Springer London, 1994.
Series:Workshops in computing.
Subjects:
Online Access:Connect to the full text of this electronic book