Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (eds.)

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Algebraic Methodology and Software Technology Montréal, Québec
Other Authors:	Alagar, Vangalur S., 1940-, Nivat, M.
Other title:	AMAST '95.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 1995.
Series:	Lecture notes in computer science ; 936.
Subjects:	Software engineering > Congresses. Abstract data types (Computer science) > Congresses. Abstract data types (Computer science) Software engineering. Conference papers and proceedings.