Zohar Manna

No bio available. Add one in Open Library.

Books by Zohar Manna (50 max)

+ shelf+ list

Mathematical theory of computation.

1974

Zohar Manna

+ shelf+ list

The Temporal Logic of Reactive and Concurrent Systems: Specification

1991

Zohar Manna, Amir Pnueli

+ shelf+ list

The logical basis for computer programming

1985

Zohar Manna, Richard Waldinger, Johar Manna

+ shelf+ list

The deductive foundations of computer programming: a one-volume version of The logical basis for computer programming

1993

Zohar Manna

+ shelf+ list

Temporal Verification of Reactive Systems Safety

1995

Zohar Manna

+ shelf+ list

Introduction to Mathematical Theory of Computation (Computer Science)

1974

Zohar Manna

+ shelf+ list

Studies in automatic programming logic

1977

Zohar Manna

+ shelf+ list

Lectures on the logic of computer programming

1980

Zohar Manna

+ shelf+ list

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)

1987

Zohar Manna

+ shelf+ list

The Temporal Logic of Reactive and Concurrent Systems Specification

1992

Zohar Manna

+ shelf+ list

Fundamentals of deductive program synthesis

1992

Zohar Manna

+ shelf+ list

STeP, the Stanford Temporal Prover

1994

Zohar Manna

+ shelf+ list

Temporal verification of reactive systems: safety

1995

Zohar Manna

+ shelf+ list

Software development technologies for reactive, real-time, and hybrid systems

1997

Zohar Manna

+ shelf+ list

The Calculus of Computation: Decision Procedures with Applications to Verification

2007

Aaron R. Bradley, Zohar Manna

+ shelf+ list

Logcl Basis Cmpt Prog V1

2008

Zohar Manna, Richard Waldinger

+ shelf+ list

The Calculus of Computation Decision Procedures with Applications to Verification

2010

Aaron R. R. Bradley, Zohar Manna

+ shelf+ list

Time for Verification Essays in Memory of Amir Pnueli

2010

Zohar Manna, Doron A. Peled