- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
(22 resultados)
Ordenar por
ordenar por...
57,15€(IVA inc.)
Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
- Jones, N.D.
- 978-3-540-93899-6
- 2009-02-01
56,16€(IVA inc.)
Verified software : theories, tools, experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
- Joshi, Rajeev
- 978-3-642-27704-7
- 2012-01-10