Hoppa till sidans huvudinnehåll

Pierre Castéran – författare

Visar alla böcker från författaren .
2 produkter
Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Inbunden

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

AvYves Bertot,Pierre Castéran

Inbunden, Engelska, 2004

1 679 kr

Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Häftad

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

AvYves Bertot,Pierre Castéran

Häftad, Engelska, 2010

1 189 kr

Skickas inom 10-15 vardagar