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:	Computer science. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book