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
8 Products
8 Products Page
of 1
Principles of Model Checking
Principles of Model Checking
Christel Baier
Hardback
 
£145
This product is currently unavailable
Reactive Systems
Reactive Systems
Luca Aceto
Hardback
 
£84.00
Usually dispatched within 2 weeks
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza
Paperback
 
£44.99
Usually dispatched within 3 weeks
Reachability Problems
Reachability Problems
Kim Guldstrand Larsen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote
Paperback
 
£34.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote
Paperback
 
£34.99
Usually dispatched within 3 weeks