49,92€(IVA inc.)
Logic-Based Program Synthesis and Transformation
- Gupta, Gopal
- 978-3-319-14124-4
- 2014-12-22