Logic of Computation /

The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving co...

Full description

Bibliographic Details

Main Author:	Schwichtenberg, Helmut
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 1997.
Series:	NATO ASI series. Computer and systems sciences ; 157.
Subjects:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses. Computer science. Logic, Symbolic and mathematical. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book