Prolog: The Next 50 Years
6 contributors - Paperback
£74.99
Logic-Based Program Synthesis and Transformation
2 contributors - Paperback
£44.99
Static Analysis
£69.99
Subscribe to our newsletter, and stay in the loop:
