Author

Zohar Manna

16 books found

Cover of Time for Verification

Time for Verification

Zohar Manna,Doron A. Peled · First published 2011

Cover of The Calculus of Computation

The Calculus of Computation

Aaron R. R. Bradley, Zohar Manna · First published 2007 · Latest edition 2010

Cover of Time for Verification

Time for Verification

Zohar Manna, Doron A. Peled · First published 2010

Cover of Logcl Basis Cmpt Prog V1

Logcl Basis Cmpt Prog V1

Zohar Manna, Richard Waldinger · First published 2008

Cover of The Calculus of Computation

The Calculus of Computation

Zohar Manna,Aaron R. Bradley · First published 2008

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

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

Zohar Manna · First published 1997

Cover of Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna · First published 1995

Placeholder cover for STeP, the Stanford Temporal Prover

STeP, the Stanford Temporal Prover

Zohar Manna · First published 1994

Cover of The deductive foundations of computer programming

The deductive foundations of computer programming

Zohar Manna · First published 1993

Placeholder cover for Fundamentals of deductive program synthesis

Fundamentals of deductive program synthesis

Zohar Manna · First published 1992

Cover of The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna · First published 1991 · Latest edition 1992

Cover of Lectures on the logic of computer programming

Lectures on the logic of computer programming

Zohar Manna · First published 1980 · Latest edition 1987

Cover of The logical basis for computer programming

The logical basis for computer programming

Zohar Manna, Richard Waldinger, Johar Manna · First published 1985

Cover of Studies in automatic programming logic

Studies in automatic programming logic

Zohar Manna · First published 1977

Cover of Introduction to Mathematical Theory of Computation (Computer Science)

Introduction to Mathematical Theory of Computation (Computer Science)

Zohar Manna · First published 1974

Cover of Mathematical theory of computation

Mathematical theory of computation

Zohar Manna · First published 1974