Program design calculi
By: edited by Manfred Broy.
Contributors: Broy, M., 1949-; NATO Scientific Affairs Division.
Series: NATO ASI series -- no.118
Publisher: Springer-Verlag in cooperation with NATO Scientific Affairs Division
Published: 1993
Place of publication: Berlin; London
Language: eng
Number of pages: 409
Subjects: System design -- Congresses.
Notes: "Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992" -t.p. verso.

Includes bibliographical references and index.