(7 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
61,15€(IVA inc.)
Foundations of Probabilistic Programming
- Barthe, Gilles
- 978-1-108-48851-8
- 2020-12-03
47,79€(IVA inc.)
Foundations of security analysis and design V: FOSAD 2008/2009 tutorial lectures
- Aldini, Alessandro
- 978-3-642-03828-0
- 2009-08-17
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