- Inicio
- / INFORMÁTICA
- > INGENIERÍA 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
36,35€(IVA inc.)
Rigorous software development: an introduction to program verification
- Bacelar Almeida, José
- 978-0-85729-017-5
- 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
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
47,84€(IVA inc.)
Practical aspects of declarative languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
- Rocha, Ricardo
- 978-3-642-18377-5
- 2011-01-11
72,80€(IVA inc.)
73,12€(IVA inc.)
Software engineering reviews and audits
- Summers, Boyd L.
- 978-1-4398-5145-6
- 2011-01-07
72,80€(IVA inc.)
Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
- Clarke, Edmund M.
- 978-3-642-17510-7
- 2011-01-04
75,92€(IVA inc.)
Transactions on computational science X pt. I Special issue on security in computing
- Gavrilova, Marina L.
- 978-3-642-17498-8
- 2011-01-04
90,48€(IVA inc.)
Neural information processing. models and applications: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, part II
- Wong, Kevin K.W.
- 978-3-642-17533-6
- 2011-01-04