68,64€(IVA inc.)
Theory and Applications of Satisfiability Testing - SAT 2017
- Gaspers, Serge
- 978-3-319-66262-6
- 2017-09-16