Cover Image

Program design calculi /

Show other versions (1)
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific Affairs Division
Other Authors: Broy, M., 1949-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1993]
Series:NATO ASI series. Computer and systems sciences ; no. 118.
Subjects:
System design > Congresses.
Computers > Design
Description
Item Description:"Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992"--Title page verso.
"Published in cooperation with NATO Scientific Affairs Division."
Physical Description:viii, 409 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:354056943X (Berlin)
038756943X (New York)