Books by Yves Bertot
No products found matching the selection.
-20%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
€158.38
€197.98
-20% with code BOOKS
In stock at our supplier
-20%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
€112.18
€140.23
-20% with code BOOKS
In stock at our supplier