- Inicio
- > materias
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
(3 resultados)
Ordenar por
ordenar por...
47,84€(IVA inc.)
OpenMP in a heterogeneous world: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
- Chapman, Barbara
- 978-3-642-30960-1
- 2012-05-29
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