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 | JSE 96-1121 | Offsite |
Details
- Additional Authors
- Description
- xii, 640 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1101
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 96-1121
- ISBN
- 354061463X (alk. paper)
- LCCN
- 96026739
- OCLC
- 34919817
- Conference
- International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, Germany)
- Title
- Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Imprint
- New York : Springer-Verlag, 1996.
- Series
- Lecture notes in computer science ; 1101
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Wirsing, M. (Martin)Nivat, M.
- Research Call Number
- JSE 96-1121