(2 resultados)
Ordenar por
ordenar por...
64,48€(IVA inc.)
Verification, model checking, and abstract interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
- Jhala, Ranjit
- 978-3-642-18274-7
- 2011-01-11
70,93€(IVA inc.)
Static analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
- Mine, Antoine
- 978-3-642-33124-4
- 2012-08-28