(3 resultados)
Ordenar por
ordenar por...
31,15€(IVA inc.)
Automated reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
- Giesl, Jürgen
- 978-3-642-14202-4
- 2010-06-30
93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
48,83€(IVA inc.)
Tests and proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
- Beckert, B.
- 978-3-540-79123-2
- 2008-04-01