Research Catalog
Mathematical methods in program development
- Title
- Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder.
- Publication
- Berlin ; New York : Springer, c1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 97-1665 | Offsite |
Details
- Additional Authors
- Description
- viii, 528 p.; 34 cm.
- Series Statement
- NATO ASI series. vol. 158
- Subjects
- Note
- "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 97-1665
- ISBN
- 354063195X (hardcover : alk. paper)
- LCCN
- 97022450
- OCLC
- 37141133
- Title
- Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder.
- Imprint
- Berlin ; New York : Springer, c1997.
- Series
- NATO ASI series. Series F. Computer and systems sciences ; vol. 158
- Bibliography
- Includes bibliographical references.
- Added Author
- Broy, M., 1949-Schieder, Birgit.NATO Advances Study Institute on Mathematical Methods in Program Development (1996 : Marktoberdorf, Germany)
- Research Call Number
- JSE 97-1665