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

� 8.57

View 10 offers

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

� 4.91

View 9 offers

Also find
New, Used
Introduction to Mathematical Theory of Computation (Computer Science S.)
Manna, Zohar

Item prices starting from

� 10.67

View 31 offers

Also find
New, Used, First Edition
Studies in Automatic Programming Logic (Artificial Intelligence)
Zohar Manna; Richard Waldinger

Item prices starting from

� 7.67

View 1 offer

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

Item prices starting from

� 26.63

View 33 offers

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

Item prices starting from

� 28.22

View 16 offers

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

Item prices starting from

� 36.62

View 4 offers

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

Item prices starting from

� 40.91

View 17 offers

Also find
New, Used