First-Order Programming Theories /

This book proposes a purely classical first-order logical approach to the theory of programming. The authors, leading members of the famous "Hungarian school", use this approach to give a unified and systematic presentation of the theory. This approach provides formal methods and tools for...

Full description

Bibliographic Details

Main Author:	Gergely, T. (Tamás)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Úry, László
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.
Series:	Monographs on Theoretical Computer Science. An EATCS Series, ; 24.
Subjects:	Computer science. Logic design. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book