(3 resultados)
Ordenar por
ordenar por...
93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
47,84€(IVA inc.)
Formal verification of object-oriented software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- Beckert, Bernhard
- 978-3-642-18069-9
- 2011-01-14
47,84€(IVA inc.)
Formal verification of object-oriented software: International Conference, FOVEOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- Beckert, Bernhard
- 978-3-642-31761-3
- 2012-07-11