Program design calculi
By: edited by Manfred Broy.
Contributors: Broy, M., 1949-; North Atlantic Treaty Organization. Scientific Affairs Division.; NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Germany)
Series: NATO ASI series. Series F, Computer and systems sciences ;; vol. 118; NATO ASI series.; no. 118.
Publisher: Springer
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 409
Subjects: System design -- Congresses
Notes: Includes bibliographical references.
"Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992"--T.p. verso.
"Published in cooperation with NATO Scientific Affairs Division."