CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 10 of 10 Results
1.
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Par...
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Par... by Beckert, Bernhard, Marché, ... ISBN: 9783642180699 List Price: $72.00

OUT OF STOCK

See Availability on Amazon
2.
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Tur...
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Tur... by Beckert, Bernhard, Damiani,... ISBN: 9783642317613 List Price: $72.00
$46.78 (Save 35%)
3.
Verification of Object-oriented Software The Key Approach
Verification of Object-oriented Software The Key Approach by Beckert, Bernhard, Hähnle, ... ISBN: 9783540689775 List Price: $99.00
$101.14
4.
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008,...
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008,... by Beckert, Bernhard ISBN: 9783540791232 List Price: $59.95
$25.40 (Save 57%)
5.
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%)
6.
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software by Beckert, Bernhard, March, C... ISBN: 9783642180712 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Mobile Lsungen mit SAP
Mobile Lsungen mit SAP by Sebastian Beckert, Bernhard... ISBN: 9783836219310

OUT OF STOCK

See Availability on Amazon
8.
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
9.
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
10.
Electronic Voting : 5th International Joint Conference, e-Vote-ID 2020, Bregenz, Austria, Oc...
Electronic Voting : 5th International Joint Conference, e-Vote-ID 2020, Bregenz, Austria, Oc... by Krimmer, Robert, Volkamer, ... ISBN: 9783030603465
$51.31