Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
9 Products
9 Products Page
of 1
Temporal Verification of Reactive Systems
Hardback
 
Price: £89.99
Usually dispatched within 3 weeks
The Calculus of Computation
Paperback
 
Price: £43.99
Usually dispatched within 3 weeks
The Calculus of Computation
Hardback
 
Price: £65.99
Usually dispatched within 3 weeks
The Temporal Logic of Reactive and Concurrent Systems
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Temporal Verification of Reactive Systems
Paperback
 
Price: £99.99
Usually dispatched within 3 weeks
The Temporal Logic of Reactive and Concurrent Systems
Hardback
 
Price: £99.99
Usually dispatched within 3 weeks
Time for Verification
Paperback
 
Price: £81.00
This product is currently unavailable
Lectures on the Logic of Computer Programming
Paperback
 
Price: £41.00
Usually dispatched within 2 weeks
The Deductive Foundations of Computer Programming
Hardback
 
Price: £47.99
This product is currently unavailable