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
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Functional and Logic Programming
Functional and Logic Programming
Jacques Garrigue
Paperback
 
£44.99
Usually dispatched within 3 weeks
Programming Languages: Implementations, Logics and Programs
Programming Languages: Implementations, Logics and Programs
Manuel Hermenegildo
Paperback
 
£44.99
Usually dispatched within 3 weeks
Programming Language Implementation and Logic Programming
Programming Language Implementation and Logic Programming
Manuel Hermenegildo
Paperback
 
£44.99
Usually dispatched within 3 weeks
Static Analysis
Static Analysis
Manuel Hermenegildo
Paperback
 
£44.99
Usually dispatched within 3 weeks
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
Manuel Hermenegildo
Paperback
 
£44.99
Usually dispatched within 3 weeks