Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive m...

Full description

Bibliographic Details

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