From Data to Models and Back
3 contributors - Paperback
£49.99
£54.99
Logic-Based Program Synthesis and Transformation
2 contributors - Paperback