Research Catalog
Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /
- Title
- Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare / lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt.
- Publication
- Dordrecht, Holland ; Boston : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1982.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA76.6 .T446 1982 | Off-site |
Details
- Additional Authors
- Description
- xiii, 658 p. : ill.; 25 cm.
- Series Statement
- NATO advanced study institutes series. v. 91
- Subject
- Note
- Papers presented in 1981 at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Science Committee under the 1981 advanced study institutes program.
- "Published in cooperation with NATO Scientific Affairs Division."
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 9027714606
- 9027714622 (pbk.)
- LCCN
- 82012347
- Owning Institutions
- Princeton University Library