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
Stochastic Model Checking
Stochastic Model Checking
Anne Remke
Paperback
 
£39.99
Usually dispatched within 3 weeks
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Mariëlle Stoelinga
Paperback
 
£39.99
Usually dispatched within 3 weeks
Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
Kaustubh Joshi
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Etienne André
Paperback
 
£44.99
Usually dispatched within 3 weeks
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Esther Guerra
Paperback
 
£34.99
Usually dispatched within 3 weeks
A Journey from Process Algebra via Timed Automata to Model Learning
A Journey from Process Algebra via Timed Automata to Model Learning
Nils Jansen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Concise Guide to Fault Tree Analysis
Concise Guide to Fault Tree Analysis
Mariëlle Stoelinga
Hardback
 
£54.99
Usually dispatched within 3 weeks
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification: Cycling the Probabilistic Landscape
Nils Jansen
Paperback
 
£64.99
Usually dispatched within 3 weeks
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification: Cycling the Probabilistic Landscape
Nils Jansen
Paperback
 
£69.99
Usually dispatched within 3 weeks
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification: Cycling the Probabilistic Landscape
Nils Jansen
Paperback
 
£59.99
Usually dispatched within 3 weeks