- Inicio
- > materias
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
(2 resultados)
Ordenar por
ordenar por...
72,80€(IVA inc.)
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Barthe, Gilles
- 978-3-642-24689-0
- 2011-10-21
72,75€(IVA inc.)
Verification, model checking, and abstract interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Barthe, Gilles
- 978-3-642-11318-5
- 2010-02-01