Zohar Manna profile picture

Zohar Manna

Stand Alone

The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning
The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
The Temporal Logic of Reactive and Concurrent Systems
Temporal Verification of Reactive Systems
deductive foundations of computer programming
The Temporal Logic of Reactive and Concurrent Systems: Specification
Temporal Verification of Reactive Systems: Safety
Studies in automatic programming logic (Artificial intelligence series)
Mathematical Theory of Computation
Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation (Computer Science)
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Lectures on the Logic of Computer Programming

See All