- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
(10 resultados)
Ordenar por
ordenar por...
90,38€(IVA inc.)
77,95€(IVA inc.)
Computer aided verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
- Gupta, A.
- 978-3-540-70543-7
- 2008-07-01
83,20€(IVA inc.)
Emerging intelligent computing technology and applications: 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
- Huang, De-Shuang
- 978-3-642-31836-8
- 2012-07-03
166,35€(IVA inc.)
Formal methods and models for system design: a system level perspective
- Gupta, Rajesh
- 978-1-4419-5464-0
- 2012-03-14
49,92€(IVA inc.)
Logic-Based Program Synthesis and Transformation
- Gupta, Gopal
- 978-3-319-14124-4
- 2014-12-22
87,44€(IVA inc.)
Software testing industrialization: a model-based testing perspective
- Legeard, Bruno
- 978-0-470-93951-2
- 2012-01-19