Logic of programming and calculi of discrete design
Subtitle: International Summer School directed by F.L. Bauer ... [et al.]
By: edited by Manfred Broy.
Contributors: Broy, M., 1949-; North Atlantic Treaty Organization. Scientific Affairs Division.
Series: NATO ASI series. Series F, Computer and systems sciences ;; vol. 36; NATO ASI series.; no. 36.
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Number of pages: 413
Subjects: Formal languages -- Congresses.; Logic programming -- Congresses.
Notes: Includes bibliographies.
"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p.