Author

Zohar Manna

15 books in our library

All books by Zohar Manna

15 books

Cover of The Temporal Logic of Reactive and Concurrent Systems

Cover of Temporal Verification of Reactive Systems

Cover of Logcl Basis Cmpt Prog V1

Cover of STeP, the Stanford Temporal Prover

Cover of Time for Verification

Cover of Fundamentals of deductive program synthesis

Cover of Lectures on the logic of computer programming

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

Cover of The logical basis for computer programming

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

Cover of Studies in automatic programming logic

Cover of The temporal logic of reactive and concurrent systems

Cover of Temporal verification of reactive systems

Cover of The deductive foundations of computer programming

Cover of Mathematical theory of computation

Looking for another book by Zohar Manna? Search by title