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
7 Products
7 Products Page
of 1
Temporal Logic and State Systems
Temporal Logic and State Systems
Fred Kröger
Paperback
 
£65.99
Usually dispatched within 3 weeks
Formal Systems Specification
Formal Systems Specification
Manfred Broy
Paperback
 
£44.99
Usually dispatched within 3 weeks
Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
Nicolas Navet
Hardback
 
£211.95
This product is currently unavailable
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Stephan Merz
Paperback
 
£44.99
Usually dispatched within 3 weeks
Temporal Logic and State Systems
Temporal Logic and State Systems
Fred Kröger
Hardback
 
£64.99
Usually dispatched within 3 weeks
Integrated Formal Methods
Integrated Formal Methods
Dominique Méry
Paperback
 
£44.99
Usually dispatched within 3 weeks
Interactive Theorem Proving
Interactive Theorem Proving
Jasmin Christian Blanchette
Paperback
 
£44.99
Usually dispatched within 3 weeks