Pierre Castéran - Böcker

Visar alla böcker från författaren Pierre Castéran.

2 produkter

Kategorier

2 produkter

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Av Yves Bertot, Pierre Castéran

Inbunden, Engelska, 2004

1 799 kr

Skickas idag

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Av Yves Bertot, Pierre Castéran

Häftad, Engelska, 2010

1 139 kr

Skickas inom 10-15 vardagar