Research Catalog
Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.]
- Title
- Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Author
- NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf, Germany)
- Publication
- Berlin ; New York : Springer-Verlag, [1989], ©1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA75.5 .N383 1988 | Off-site |
Holdings
Details
- Additional Authors
- Broy, M., 1949-
- Description
- vii, 478 pages : illustrations; 25 cm.
- Series Statement
- NATO ASI series. Series F, Computer and systems sciences ; vol. 55
- Uniform Title
- NATO ASI series. Series F, Computer and systems sciences ; no. 55.
- Subject
- Note
- "Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24-August 5, 1988"--T.p verso.
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 0387513698 (U.S. : alk. paper)
- LCCN
- 89019650
- OCLC
- 20015113
- ocm20015113
- Owning Institutions
- Columbia University Libraries