Pierre Castéran - Böcker
Visar alla böcker från författaren Pierre Castéran.
2 produkter
2 produkter
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Inbunden, Engelska, 2004
1 729 kr
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Häftad, Engelska, 2010
1 109 kr
Skickas inom 10-15 vardagar