Books by Zohar Manna
No products found matching the selection.
-20%
Temporal Verification of Reactive Systems: Safety
€135.50
€169.38
-20% with code BOOKS
In stock at our supplier
-20%
The Temporal Logic of Reactive and Concurrent Systems: Specification
€149.06
€186.32
-20% with code BOOKS
In stock at our supplier
-20%
The Calculus of Computation: Decision Procedures with Applications to Verification
€65.98
€82.48
-20% with code BOOKS
In stock at our supplier
-20%
The Temporal Logic of Reactive and Concurrent Systems: Specification
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier
-20%
Temporal Verification of Reactive Systems: Safety
€149.06
€186.32
-20% with code BOOKS
In stock at our supplier
-20%
The Calculus of Computation Decision Procedures with Applications to Verification
€139.96
€174.95
-20% with code BOOKS
In stock at our supplier