Zohar Manna
Popular items by Zohar Manna
View all offers-
Logical Basis for Computer Programming, Volume 1, The (Addison-Wesley Series in Computer Science)
Manna, Zohar; Waldinger, Richard
Item prices starting from
View 9 offers£ 2.10
Also find
Used -
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Manna, Zohar
Item prices starting from
View 13 offers£ 4.90
-
Studies in Automatic Programming Logic (Artificial Intelligence)
Zohar Manna; Richard Waldinger
Item prices starting from
View 1 offer£ 7.75
Also find
Used -
Introduction to Mathematical Theory of Computation (Computer Science S.)
Manna, Zohar
Item prices starting from
View 32 offers£ 12.60
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 31 offers£ 26.89
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 16 offers£ 28.34
-
The Deductive Foundations of Computer Programming
Manna, Zohar; Waldinger, Richard
Item prices starting from
View 6 offers£ 36.98
Also find
Used -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 17 offers£ 40.80
