Research Catalog
Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.]
- Title
- Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Author
- NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- Publication
- Berlin ; New York : Springer-Verlag, [1987], ©1987.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA267.3 .N38 1986 | Off-site |
Holdings
Details
- Additional Authors
- Description
- 413 pages : illustrations, portraits; 25 cm.
- Series Statement
- NATO ASI series. Series F, Computer and systems sciences ; vol. 36
- Uniform Title
- NATO ASI series. Series F, Computer and systems sciences ; no. 36.
- Subjects
- Note
- "Published in cooperation with NATO Scientific Affairs Division."
- "Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p.
- Bibliography (note)
- Includes bibliographies.
- ISBN
- 0387180036 (U.S.)
- LCCN
- 87020638
- OCLC
- 16403897
- ocm16403897
- Owning Institutions
- Columbia University Libraries