Logic of Programming and Calculi of Discrete Design
Subtitle: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
By: edited by Manfred Broy
Series: NATO ASI Series, Series F: Computer and Systems Sciences -- 36; NATO ASI series -- 36.
Publisher: Springer Berlin Heidelberg
Published: 1987
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 415
ISBN-13: 9783642873744
Other titles: 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
Description: This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known summer schools in Marktoberdorf, July 29-August 10, 1986. The proceedings give an excellent overview of the state of the art in formal methods of program design. The book treats both logic in programming and formal calculi in the discrete design of programs and systems, including foundations of logic, equational logic, modal logics, support systems for logical reasoning, and design calculi for programs and program specifications.