Filtrera

Ämne
  • (1)

C Paulin-Mohring - Böcker

Visar alla böcker av C Paulin-Mohring. Handla med fri frakt och snabb leverans!

  1. Interactive Theorem Proving and Program Development

    E-bok

    av Yves Bertot, G Huet, Pierre Casteran, C Paulin-Mohring

    E-bok (DRM), Engelska, 2013-03-14
    1105
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    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 of type theory.This book provides a pragmatic int...

    Läs mer »