Research Catalog
Deductive program design
- Title
- Deductive program design / edited by Manfred Broy.
- Publication
- Berlin ; New York : Springer, c1996.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 96-1184 | Offsite |
Details
- Additional Authors
- Description
- viii, 467 p. : ill.; 24 cm.
- Series Statement
- NATO ASI series. Series F, Computer and systems sciences ; vol. 152
- Uniform Title
- NATO ASI series. Series F, Computer and systems sciences ; no. 152.
- Subjects
- Note
- "Published in cooperation with NATO Scientific Affairs Division."
- "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 96-1184
- ISBN
- 3540609474 (hardcover : alk. paper)
- LCCN
- 96010788
- OCLC
- 34284086
- Title
- Deductive program design / edited by Manfred Broy.
- Imprint
- Berlin ; New York : Springer, c1996.
- Series
- NATO ASI series. Series F, Computer and systems sciences ; vol. 152NATO ASI series. Series F, Computer and systems sciences ; no. 152.
- Bibliography
- Includes bibliographical references.
- Added Author
- Broy, M., 1949-North Atlantic Treaty Organization. Scientific Affairs Division.NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
- Research Call Number
- JSE 96-1184