CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held As Part of the Vi...
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held As Part of the Vi... by Klein, Gerwin, Gamboa, Ruben ISBN: 9783319089690 List Price: $99.00
$51.31 (Save 48%)
2.
Concrete Semantics : A Proof Assistant Approach
Concrete Semantics : A Proof Assistant Approach by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319105413 List Price: $69.99
$78.49
3.
Concrete Semantics : With Isabelle/Hol
Concrete Semantics : With Isabelle/Hol by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319357591 List Price: $79.99
$51.31 (Save 35%)
4.
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vi...
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vi... by Klein, Gerwin, Gamboa, Ruben ISBN: 9783319089713 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Concrete Semantics : With Isabelle/Hol
Concrete Semantics : With Isabelle/Hol by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319105437 List Price: $24.99

OUT OF STOCK

See Availability on Amazon