Autore: Yves Bertot

Supporto

3 Ebook di Yves Bertot

Copertina di Yves Bertot & Gerard Huet: From Semantics to Computer Science
Yves Bertot & Gerard Huet: From Semantics to Computer Science
…
PDF
Inglese
DRM
€139.31
Copertina di Yves Bertot & Gilles Dowek: Theorem Proving in Higher Order Logics
Yves Bertot & Gilles Dowek: Theorem Proving in Higher Order Logics
…
PDF
Inglese
DRM
€57.88
Copertina di Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development
Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant o …
PDF
Inglese
DRM
€89.31