Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
3 Products
3 Products Page
of 1
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro Lopez-Garcia
Paperback
£109.99
Print on demand - Usually dispatched within 7-10 days
Static Analysis
Static Analysis
SAS (Symposium)
Paperback
£69.99
Print on demand - Usually dispatched within 7-10 days
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
VMCAI
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days