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
10 Products
10 Products Page
of 1
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Principles of Model Checking
Principles of Model Checking
Christel Baier
Hardback
 
£145
This product is currently unavailable
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems
Manfred Broy
Paperback
 
£44.99
Usually dispatched within 3 weeks
Validation of Stochastic Systems
Validation of Stochastic Systems
Christel Baier
Paperback
 
£44.99
Usually dispatched within 3 weeks
CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
Joost-Pieter Katoen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Lectures on Formal Methods and Performance Analysis
Lectures on Formal Methods and Performance Analysis
Ed Brinksma
Paperback
 
£44.99
Usually dispatched within 3 weeks
ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan
Paperback
 
£44.99
Usually dispatched within 3 weeks
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
Gilles Barthe
Hardback
 
£61.00
Usually dispatched within 2 weeks
Formal Methods
Formal Methods
Marsha Chechik
Paperback
 
£89.99
Usually dispatched within 3 weeks