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
11 Products
11 Products Page
of 1
Software Safety and Security
Software Safety and Security
Tobias Nipkow
Hardback
 
£127
This product is currently unavailable
Model Checking
Model Checking
Edmund M. Clarke Jr.
Hardback
 
£62.00
This product is currently unavailable
Computer Aided Verification
Computer Aided Verification
Orna Grumberg
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Logical Methods for System Security and Correctness
Formal Logical Methods for System Security and Correctness
Orna Grumberg
Hardback
 
£89.00
This product is currently unavailable
Software Systems Safety
Software Systems Safety
Orna Grumberg
Hardback
 
£127
This product is currently unavailable
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg
Paperback
 
£89.99
Usually dispatched within 3 weeks
25 Years of Model Checking
25 Years of Model Checking
Orna Grumberg
Paperback
 
£29.99
Usually dispatched within 3 weeks
Languages: From Formal to Natural
Languages: From Formal to Natural
Orna Grumberg
Paperback
 
£44.99
Usually dispatched within 3 weeks
Model Checking
Model Checking
Edmund M. Clarke Jr.
Hardback
 
£72.00
This product is currently unavailable
Logics and Languages for Reliability and Security
Logics and Languages for Reliability and Security
Javier Esparza
Hardback
 
£127
This product is currently unavailable
Dependable Software Systems Engineering
Dependable Software Systems Engineering
Javier Esparza
Hardback
 
£127
This product is currently unavailable