- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
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
55,07€(IVA inc.)
Types for proofs and programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- Berardi, Stefano
- 978-3-642-02443-6
- 2009-06-15
67,55€(IVA inc.)
Rewriting techniques and applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
- Treinen, Ralf
- 978-3-642-02347-7
- 2009-06-15
84,24€(IVA inc.)
Software performance and scalability: a quantitative approach
- Liu, Henry H.
- 978-0-470-46253-9
- 2009-06-05
77,71€(IVA inc.)
Software error detection through testing and analysis
- Huang, J.C.
- 978-0-470-40444-7
- 2009-06-05
72,75€(IVA inc.)
Transactions on aspect-oriented software development V
- Sin autor
- 978-3-642-02058-2
- 2009-06-02
47,79€(IVA inc.)
