CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Deductive Software Verification - the KeY Book : From Theory to Practice
Deductive Software Verification - the KeY Book : From Theory to Practice by Ahrendt, Wolfgang, Beckert,... ISBN: 9783319498119 List Price: $131.00
$119.25 (Save 8%)
2.
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Yea...
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Yea... by Ahrendt, Wolfgang, Beckert,... ISBN: 9783030643539
$51.31
3.
Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner H�hnle on t...
Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner H�hnle on t... by Ahrendt, Wolfgang, Beckert,... ISBN: 9783031081651
$103.17