Items related to First-Order Programming Theories (E A T C S MONOGRAPHS...

First-Order Programming Theories (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) - Hardcover

Gergely, Tamas; Ury, Laszlo

 
9780387542775: First-Order Programming Theories (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Hardcover
ISBN 10: 0387542779 ISBN 13: 9780387542775
Publisher: Springer Verlag, 1992

Synopsis

First-Order Programming Theories Proposes a logical approach to the theory of programming. This book provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties.

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1992
Language
English
ISBN 10 
0387542779
ISBN 13 
9780387542775
Binding
Hardcover
Number of pages
351