Algebraic methodology and software technology (AMAST '93)
Subtitle: proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993
By: M. Nivat ... [et al.] (Eds.).
Contributors: Nivat, Maurice, 1937-; British Computer Society.; AMAST'93 (Conference) (1993 : University of Twente)
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1994
Place of publication: London; Berlin
Language: eng
Number of pages: 416
Subjects: Software engineering -- Congresses.; Abstract data types (Computer science) -- Congresses.
Notes: Published in collaboration with the British Computer Society.