Algebraic methodology and software technology
Subtitle: 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
By: V.S. Alagar, Maurice Nivat (eds.).
Contributors: Alagar, Vangalur S., 1940-; Nivat, M.
Series: Lecture notes in computer science ;; 936
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 591
Subjects: Software engineering -- Congresses; Abstract data types (Computer science) -- Congresses
Notes: Includes bibliographical references.