CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development by Yves Bertot ISBN: 9783540208549 List Price: $109.00
$112.41
2.
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,...
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,... by Bertot, Yves, Dowek, Gilles... ISBN: 9783540664635 List Price: $82.95
$52.33 (Save 36%)
3.
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Con...
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Con... by Bertot, Yves, Castéran, Pie... ISBN: 9783642058806 List Price: $109.00
$84.68 (Save 22%)
4.
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
From Semantics to Computer Science: Essays in Honour of Gilles Kahn by Bertot, Yves, Huet, Gèrard,... ISBN: 9780521518253 List Price: $144.00
$4.46 (Save 96%)
5.
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development by Bertot, Yves, Casteran, Pierre ISBN: 9783662079652 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs by Bertot, Yves ISBN: 9781450347051 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
7.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Bertot, Yves, Dowek, Gilles... ISBN: 9783662183410 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
From Semantics to Computer Science: Essays in Honour of Gilles Kahn by Bertot, Yves, Huet, G?rard,... ISBN: 9780511770524

OUT OF STOCK

See Availability on Amazon