Algebraic methodology and software technology (AMAST '91)
Subtitle: proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
By: M. Nivat ... [et al.]. (eds.).
Contributors: Nivat, M.; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1992
Place of publication: London; New York
Language: eng
Number of pages: 572
Subjects: Software engineering -- Congresses.; Abstract data types (Computer science) -- Congresses.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."