Zohar Manna
Popular items by Zohar Manna
View all offers-
Introduction to Mathematical Theory of Computation (Computer Science S.)
Manna, Zohar
Item prices starting from
View 31 offers£ 5.89
-
Logical Basis for Computer Programming, Volume 1, The (Addison-Wesley Series in Computer Science)
Manna, Zohar; Waldinger, Richard
Item prices starting from
View 8 offers£ 8.42
Also find
Used -
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 28 offers£ 13.20
-
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 3 offers£ 9.34
-
Studies in Automatic Programming Logic
Item prices starting from
View 2 offers£ 7.84
Also find
Used -
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 13 offers£ 27.17
-
The Deductive Foundations of Computer Programming
Manna, Zohar; Waldinger, Richard
Item prices starting from
View 5 offers£ 37.19
Also find
Used -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Item prices starting from
View 7 offers£ 41.53
Also find
New
You've viewed 8 of 9 titles