Temporal Verification of Reactive SystemsZohar MannaTemporal Verification of Reactive Systems1995 · 524 ppWant to read
Mathematical theory of computationZohar MannaMathematical theory of computation1974 · 456 ppWant to read
The Calculus of Computation: Decision Procedures with Applications to VerificationAaron R. Bradley, Zohar MannaThe Calculus of Computation: Decision Procedures with Applications to Verification2007 · 366 ppWant to read
The deductive foundations of computer programmingZohar MannaThe deductive foundations of computer programming1993 · 717 ppWant to read
The temporal logic of reactive and concurrent systemsZohar Manna, Amir PnueliThe temporal logic of reactive and concurrent systems1991 · 448 ppWant to read
Temporal Verification of Reactive SystemsZohar MannaTemporal Verification of Reactive SystemsZohar Manna · 1995Want to read
Mathematical theory of computationZohar MannaMathematical theory of computationZohar Manna · 1974Want to read
The temporal logic of reactive and concurrent systemsZohar Manna, Amir PnueliThe temporal logic of reactive and concurrent systemsZohar Manna, Amir Pnueli · 1991Want to read
The Calculus of Computation: Decision Procedures with Applications to VerificationAaron R. Bradley, Zohar MannaThe Calculus of Computation: Decision Procedures with Applications to VerificationAaron R. Bradley, Zohar Manna · 2007Want to read
Introduction to AlgorithmsThomas H. Cormen, Charles E. Leiserson et al.Introduction to AlgorithmsThomas H. Cormen, Charles E. Leiserson et al. · 1990Want to read
Structure and Interpretation of Computer Programs (SICP)Harold Abelson, Gerald Jay Sussman et al.Structure and Interpretation of Computer Programs (SICP)Harold Abelson, Gerald Jay Sussman et al. · 1985Want to read
