(2 resultados)
Ordenar por
ordenar por...
90,48€(IVA inc.)
Computer aided verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Parthasarathy, Madhusudan
- 978-3-642-31423-0
- 2012-06-15
52,00€(IVA inc.)
Verified Software: Theories, Tools, and Experiments
- Gurfinkel, Arie
- 978-3-319-29612-8
- 2016-01-29