Yves Bertot – författare
Visar alla böcker från författaren Yves Bertot. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
2 079 kr
Skickas inom 7-10 vardagar
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Inbunden, Engelska, 2004
1 659 kr
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Häftad, Engelska, 1999
699 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Häftad, Engelska, 2010
1 179 kr
Skickas inom 10-15 vardagar