Algebraic methodology and software technology
Subtitle: 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
By: Teodor Rus (ed.).
Contributors: Rus, Teodor.
Series: Lecture notes in computer science -- 1816
Publisher: Springer
Published: 2000
Place of publication: Berlin; London
Language: eng
Number of pages: 544
Subjects: Software engineering -- Congresses.; Abstract data types (Computer science) -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.