68,64€(IVA inc.)
Software Engineering and Formal Methods
- Cimatti, Alessandro
- 978-3-319-66196-4
- 2017-09-16
72,80€(IVA inc.)
Theory and applications of satisfiability testing: SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
- Cimatti, Alessandro
- 978-3-642-31611-1
- 2012-07-03