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
Interactive Markov Chains
Interactive Markov Chains
Holger Hermanns
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
Holger Hermanns
Paperback
 
£44.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Werner Damm
Paperback
 
£44.99
Usually dispatched within 3 weeks
CONCUR 2006 - Concurrency Theory
CONCUR 2006 - Concurrency Theory
Christel Baier
Paperback
 
£89.99
Usually dispatched within 3 weeks
Validation of Stochastic Systems
Validation of Stochastic Systems
Christel Baier
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
Measurement, Modelling and Evaluation of Computing Systems
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns
Paperback
 
£44.99
Usually dispatched within 3 weeks
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
Holger Hermanns
Paperback
 
£69.99
Usually dispatched within 3 weeks