- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
47,84€(IVA inc.)
Formal verification of object-oriented software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- Beckert, Bernhard
- 978-3-642-18069-9
- 2011-01-14
47,84€(IVA inc.)
Algebraic methodology and software technology: 13th international conference, AMAST 2010, lac-beauport, QC, canada, june 23-25, 2010, revised selected papers
- Johnson, Michael
- 978-3-642-17795-8
- 2011-01-14
36,35€(IVA inc.)
Rigorous software development: an introduction to program verification
- Bacelar Almeida, José
- 978-0-85729-017-5
- 2011-01-14
64,48€(IVA inc.)
Verification, model checking, and abstract interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
- Jhala, Ranjit
- 978-3-642-18274-7
- 2011-01-11
72,80€(IVA inc.)
Generative and transformational techniques in software engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers
- Fernandes, João M.
- 978-3-642-18022-4
- 2011-01-03
36,35€(IVA inc.)
Introduction to the theory of programming languages
- Dowek, Gilles
- 978-0-85729-075-5
- 2011-01-01
29,00€(IVA inc.)
Diseño mecánico con Autodesk Inventor: paso a paso
- Senabre Blanes, Carolina
- 978-84-8454-866-9
- 2011-01-01
54,84€(IVA inc.)
Principles of HTML, XHTML, and DHTML: the web technologies series
- Gosselin, Don
- 978-0-538-47461-0
- 2010-12-31
41,13€(IVA inc.)
Beginning smartphone web development: building JavaScript, CSS, HTML and Ajax-based applications for iPhone, Android, Palm Pre, BlackBerry, Windows Mobile and Nokia S60
- Frederick, Gail
- 978-1-4302-2620-8
- 2010-12-31