Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
4 Products
4 Products Page
of 1
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems : Specification
Zohar Manna
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems : Safety
Zohar Manna
Paperback
£99.99
Print on demand - Usually dispatched within 7-10 days
Time for Verification
Time for Verification Theoretical Computer Science and General Issues
Zohar Manna
Paperback
£81.00
This product is currently unavailable
Lectures on the Logic of Computer Programming
Lectures on the Logic of Computer Programming
Zohar Manna
Paperback
£43.00
This product is currently unavailable