- Inicio
- > materias
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
(4 resultados)
Ordenar por
ordenar por...
47,84€(IVA inc.)
Engineering secure software and systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
- Barthe, Gilles
- 978-3-642-28165-5
- 2012-01-30
47,84€(IVA inc.)
Formal aspects of security and trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
- Barthe, Gilles
- 978-3-642-29419-8
- 2012-04-10
72,80€(IVA inc.)
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Barthe, Gilles
- 978-3-642-24689-0
- 2011-10-21
72,75€(IVA inc.)
Verification, model checking, and abstract interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Barthe, Gilles
- 978-3-642-11318-5
- 2010-02-01