- Inicio
- / INFORMÁTICA
- > LENGUAJES DE PROGRAMACIÓN
24,90€(IVA inc.)
UML. Aplicaciones en Java y C++
- Jiménez de Parga, Carlos
- 978-84-9964-516-2
- 2015-01-01
37,89€(IVA inc.)
Understanding Z: a specification language and its formal semantics
- Spivey, J.M.
- 978-0-521-05414-0
- 2008-02-28
29,90€(IVA inc.)
VB.NET y Visual Studio 2015: Los fundamentos del lenguaje
- Putier, Sébastien
- 978-2-4090-0173-4
- 2016-04-01
29,90€(IVA inc.)
VBA Excel 2016: Programación en Excel: Macros y lenguaje VBA
- Amelot, Michèle
- 978-2-4090-0267-0
- 2016-06-01
64,48€(IVA inc.)
Verification, model checking, and abstract interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, Usa, January 22-24, 2012, Proceedings
- Kuncak, Viktor
- 978-3-642-27939-3
- 2012-01-12
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
55,07€(IVA inc.)
Verification, model checking, and abstract interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
- Logozzo, F.
- 978-3-540-78162-2
- 2008-04-01
98,75€(IVA inc.)
Verified software : theories, tools, experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Proceedings
- Meyer, B.
- 978-3-540-69147-1
- 2008-07-01
51,95€(IVA inc.)
Verified software : theories, tools, experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
- Shankar, N.
- 978-3-540-87872-8
- 2008-10-01