1 option
Deductive program design / edited by Manfred Broy.
LIBRA QA76.9.D5 D38 1996
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
- Series:
- NATO ASI series. Computer and systems sciences ; Series F, no. 152.
- NATO ASI series. Series F, Computer and systems sciences ; vol. 152
- Language:
- English
- Subjects (All):
- Electronic data processing--Distributed processing--Congresses.
- Electronic data processing.
- Electronic data processing--Distributed processing.
- System design--Congresses.
- System design.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 467 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [1996]
- Notes:
- "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.
- Includes bibliographical references.
- ISBN:
- 3540609474
- OCLC:
- 34284086
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.