Zohar Manna

No counted ratings yet

6 books

Books

Sorted by popularity.

Temporal Verification of Reactive SystemsZohar Manna
Temporal Verification of Reactive Systems
Zohar Manna · 1995 · 524 pages
Want to read
The logical basis for computer programmingZohar Manna, Richard Waldinger et al.
The logical basis for computer programming
Zohar Manna, Richard Waldinger, Johar Manna · 1985 · 641 pages
Want to read
Mathematical theory of computationZohar Manna
Mathematical theory of computation
Zohar Manna · 1974 · 456 pages
Want to read
The Calculus of Computation: Decision Procedures with Applications to VerificationAaron R. Bradley, Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification
Aaron R. Bradley, Zohar Manna · 2007 · 366 pages
Want to read
The deductive foundations of computer programmingZohar Manna
The deductive foundations of computer programming
Zohar Manna · 1993 · 717 pages
Want to read
The temporal logic of reactive and concurrent systemsZohar Manna, Amir Pnueli
The temporal logic of reactive and concurrent systems
Zohar Manna, Amir Pnueli · 1991 · 448 pages
Want to read

No biography yet.