58,24€(IVA inc.)
Logic-Based Program Synthesis and Transformation
- Proietti, Maurizio
- 978-3-319-17821-9
- 2015-06-14