- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
72,75€(IVA inc.)
Verification of sequential and concurrent programs
- Apt, Krzysztof R.
- 978-1-84882-744-8
- 2009-11-01
72,75€(IVA inc.)
Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Liu, Zhiming
- 978-3-642-04760-2
- 2009-11-01
57,15€(IVA inc.)
Software process and product measurement: International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
- Abran, Alain
- 978-3-642-05414-3
- 2009-11-01
57,15€(IVA inc.)
Formal methods : foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
- Medeiros Oliveira, Marcel Vi
- 978-3-642-10451-0
- 2009-11-01
72,75€(IVA inc.)
A process algebraic approach to software architecture design
- Aldini, Alessandro
- 978-1-84800-222-7
- 2009-11-01
55,07€(IVA inc.)
The design of material, organism, and minds: different understandings of design
- Hampe, Michael
- 978-3-540-68995-9
- 2009-11-01
51,95€(IVA inc.)
Runtime verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
- Bensalem, Saddek
- 978-3-642-04693-3
- 2009-11-01
57,15€(IVA inc.)
Job scheduling strategies for parallel processing: 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers
- Frachtenberg, Eitan
- 978-3-642-04632-2
- 2009-11-01
56,16€(IVA inc.)
Advanced functional programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
- Koopman, Pieter
- 978-3-642-04651-3
- 2009-11-01
121,63€(IVA inc.)
Computer aided systems theory : EUROCAST 2009: 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
- Moreno Díaz, Roberto
- 978-3-642-04771-8
- 2009-11-01