Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 / M. Nivat [and others]. (eds.).

Author/creator International Conference on Algebraic Methodology and Software Technology
Other author Nivat, M.
Other author British Computer Society.
Format Book
Publication InfoLondon ; New York : Springer-Verlag, ©1992.
Descriptionxi, 572 pages : illustrations ; 24 cm.
Subjects
Software engineering--Congresses.
Abstract data types (Computer science)--Congresses.

SeriesWorkshops in computing
Workshops in computing. ^A304875
General note"Published in collaboration with the British Computer Society."
Bibliography noteIncludes bibliographical references and index.
LCCN 92033753
ISBN0387197974 (alk. paper) :
ISBN3540197974 (Germany)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.758 .I5713 1992 ✔ Available Place Hold