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

� 5.91

View 32 offers

Also find
New, Used, First Edition
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir

Item prices starting from

� 13.24

View 27 offers

Also find
New, 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

� 9.37

View 3 offers

Also find
New, Used
Studies in Automatic Programming Logic

Item prices starting from

� 7.86

View 2 offers

Also find
Used
Logical Basis for Computer Programming, Volume 1, The (Addison-Wesley Series in Computer Science)
Manna, Zohar; Waldinger, Richard

Item prices starting from

� 13.09

View 8 offers

Also find
Used
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir

Item prices starting from

� 27.26

View 13 offers

Also find
New, Used
The Deductive Foundations of Computer Programming
Manna, Zohar; Waldinger, Richard

Item prices starting from

� 37.45

View 6 offers

Also find
Used
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir

Item prices starting from

� 41.56

View 7 offers

Also find
New

You've viewed 8 of 9 titles