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
8 Products
8 Products Page
of 1
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan
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
Sriram Sankaranarayanan
Paperback
 
£34.99
Usually dispatched within 1-2 days
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan
Paperback
 
£34.99
Usually dispatched within 3 weeks
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
S. Akshay
Paperback
 
£109.99
Usually dispatched within 3 weeks
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
S. Akshay
Paperback
 
£129.99
Usually dispatched within 3 weeks
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan
Paperback
 
£54.99
Usually dispatched within 4-5 weeks
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan
Paperback
 
£54.99
Usually dispatched within 3 weeks
Integer Programming Games
Integer Programming Games
Margarida Carvalho
Paperback
 
£77.00
This product is currently unavailable