Zohar Manna
Popular items by Zohar Manna
View all offers-
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Manna, Zohar
Item prices starting from
View 31 offersUS$ 7.56
-
Studies in automatic programming logic (Artificial intelligence series)
Manna, Zohar
Item prices starting from
View 2 offersUS$ 10.07
Also find
Used -
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 28 offersUS$ 16.95
-
The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning
Manna, Zohar; Waldinger, Richard
Item prices starting from
View 7 offersUS$ 16.37
Also find
Used -
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Manna, Zohar
Item prices starting from
View 3 offersUS$ 12.00
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 13 offersUS$ 34.90
-
The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
Manna, Zohar; Waldinger, Richard
Item prices starting from
View 6 offersUS$ 47.95
Also find
Used -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Zohar Manna
Item prices starting from
View 7 offersUS$ 55.82
Also find
New
You've viewed 8 of 9 titles