Pierre Castéran – författare
Visar alla böcker från författaren Pierre Castéran. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Inbunden, Engelska, 2004
1 659 kr
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