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
6 Products
6 Products Page
of 1
Computer Aided Verification
Computer Aided Verification
Ahmed Bouajjani
Paperback
 
£89.99
Usually dispatched within 3 weeks
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Ahmed Bouajjani
Paperback
 
£44.99
Usually dispatched within 3 weeks
Networked Systems
Networked Systems
Ahmed Bouajjani
Paperback
 
£44.99
Usually dispatched within 3 weeks
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani
Paperback
 
£44.99
Usually dispatched within 3 weeks
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Ahmed Bouajjani
Paperback
 
£64.99
Usually dispatched within 3 weeks