- Inicio
- > materias
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
(2 resultados)
Ordenar por
ordenar por...
77,95€(IVA inc.)
Automated deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
- Schmidt, Renate A.
- 978-3-642-02958-5
- 2009-07-10
70,93€(IVA inc.)
Static analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
- Mine, Antoine
- 978-3-642-33124-4
- 2012-08-28