Автор: Yves Bertot

Підтримка

3 Електронні книги від Yves Bertot

Обкладинка Yves Bertot & Gerard Huet: From Semantics to Computer Science
Yves Bertot & Gerard Huet: From Semantics to Computer Science
…
PDF
Англійська
DRM
€137.70
Обкладинка Yves Bertot & Gilles Dowek: Theorem Proving in Higher Order Logics
Yves Bertot & Gilles Dowek: Theorem Proving in Higher Order Logics
…
PDF
Англійська
DRM
€57.88
Обкладинка 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
Англійська
DRM
€89.31