Research Catalog
Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
- Title
- Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Author
- International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, Germany)
- Publication
- New York : Springer-Verlag, 1996.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.758 .I5713 1996 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xii, 640 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1101
- Uniform Title
- Lecture notes in computer science ; 1101.
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 354061463X (alk. paper)
- LCCN
- 96026739
- OCLC
- 503400663
- ocn503400663
- Owning Institutions
- Columbia University Libraries