👤

Zohar Manna

14 books

Books by Zohar Manna

Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
2014
Mathematical theory of computation
Mathematical theory of computation
2012
Logcl Basis Cmpt Prog V1
Logcl Basis Cmpt Prog V1
2008
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
2007
Software development technolog
Software development technologies for reactive, real-time, and hybrid systems
1997
STeP, the Stanford Temporal Pr
STeP, the Stanford Temporal Prover
1994
The deductive foundations of computer programming
The deductive foundations of computer programming
1993
Fundamentals of deductive prog
Fundamentals of deductive program synthesis
1992
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
1991
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
1987
The logical basis for computer programming
The logical basis for computer programming
1985
Lectures on the logic of computer programming
Lectures on the logic of computer programming
1980
Studies in automatic programming logic
Studies in automatic programming logic
1977
Introduction to Mathematical T
Introduction to Mathematical Theory of Computation (Computer Science)
1974