Deductive program design
By: edited by Manfred Broy.
Contributors: Broy, M., 1949-; North Atlantic Treaty Organization. Scientific Affairs Division.; NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
Series: NATO ASI series. Series F, Computer and systems sciences ;; vol. 152; NATO ASI series.; no. 152.
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 467
Subjects: Electronic data processing -- Distributed processing -- Congresses; System design -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.
"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.