- Inicio
- > materias
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
(1 resultados)
Ordenar por
ordenar por...
83,15€(IVA inc.)
Interactive theorem proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
- Kaufmann, Matt
- 978-3-642-14051-8
- 2010-06-30