автор: 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