- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
51,95€(IVA inc.)
Tests and proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
- Dubois, Catherine
- 978-3-642-02948-6
- 2009-06-24
77,95€(IVA inc.)
Developments in language theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
- Diekert, Volker
- 978-3-642-02736-9
- 2009-06-22
51,95€(IVA inc.)
Software composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
- Bergel, Alexandre
- 978-3-642-02654-6
- 2009-06-22
51,95€(IVA inc.)
Autonomic and trusted computing: 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
- González Nieto, Juan
- 978-3-642-02703-1
- 2009-06-22
55,07€(IVA inc.)
Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
- Pasareanu, Corina S.
- 978-3-642-02651-5
- 2009-06-19
57,15€(IVA inc.)
Objects, components, models and patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings
- Oriol, Manuel
- 978-3-642-02570-9
- 2009-06-19
93,55€(IVA inc.)
Computer aided verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
- Bouajjani, Ahmed
- 978-3-642-02657-7
- 2009-06-19
114,35€(IVA inc.)
Computational science and its applications – ICCSA 2009: International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II
- Gervasi, Osvaldo
- 978-3-642-02456-6
- 2009-06-15
51,95€(IVA inc.)
Component-based software engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
- Lewis, Grace A.
- 978-3-642-02413-9
- 2009-06-15