Pierre Castéran - Böcker

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

Interactive Theorem Proving and Program Development

Av Yves Bertot, Pierre Castéran

Inbunden, Engelska, 2004

1 799 kr

Skickas inom 7-10 vardagar
Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Häftad

Interactive Theorem Proving and Program Development

Av Yves Bertot, Pierre Castéran

Häftad, Engelska, 2010

1 149 kr

Skickas inom 7-10 vardagar