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
Static Analysis
Static Analysis
Jens Palsberg
Paperback
 
£44.99
Usually dispatched within 3 weeks
Semantics and Algebraic Specification
Semantics and Algebraic Specification
Jens Palsberg
Paperback
 
£44.99
Usually dispatched within 3 weeks
Modern Compiler Implementation in Java
Modern Compiler Implementation in Java
Andrew W. Appel
Hardback
 
£71.00
Usually dispatched within 2 weeks
Model Checking Software
Model Checking Software
Klaus Havelund
Paperback
 
£44.99
Usually dispatched within 3 weeks
Static Analysis
Static Analysis
Jens Palsberg
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
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Isil Dillig
Paperback
 
£44.99
Usually dispatched within 3 weeks
Principles and Practices of Building Parallel Software
Principles and Practices of Building Parallel Software
Rajkishore Barik
Paperback
 
£89.99
Usually dispatched within 3 weeks