- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
56,16€(IVA inc.)
Formal aspects of component software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers
- Barbosa, Luis Soares
- 978-3-642-27268-4
- 2012-01-13
47,84€(IVA inc.)
Distributed computing and internet technology: 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
- Ramanujam, Ram
- 978-3-642-28072-6
- 2012-01-12
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
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
47,84€(IVA inc.)
Empirical software engineering and verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
- Meyer, Bertrand
- 978-3-642-25230-3
- 2012-01-09
47,84€(IVA inc.)
Foundations and practice of security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
- Garcia-Alfaro, Joaquin
- 978-3-642-27900-3
- 2012-01-09
40,48€(IVA inc.)
Making embedded systems: design patterns for great software
- White, Elecia
- 978-1-4493-0214-6
- 2011-12-31
72,75€(IVA inc.)
Guide to software development: designing and managing the life cycle
- Langer, Arthur M.
- 978-1-4471-2299-9
- 2011-12-12