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 / edited by Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo.

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Nivat, Maurice (Editor), Rattray, Charles (Editor), Rus, Teodor (Editor), Scollo, Giuseppe (Editor)
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint: Springer, 1994.
Edition:	1st ed. 1994.
Series:	Workshops in Computing, Springer eBook Collection.
Subjects:	Software engineering. Computers. Computer logic. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.