Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /

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 o...

Full description

Bibliographic Details

Main Author:	Broy, Manfred
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
Series:	NATO ASI series. Computer and systems sciences ; 36.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book