Yves Bertot - Böcker

Visar alla böcker från författaren Yves Bertot.
4 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 539 kr

Skickas inom 7-10 vardagar
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad
Del 1690 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Häftad, Engelska, 1999

709 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 129 kr

Skickas inom 7-10 vardagar