Filtrera

Ämne
  • (2)
  • (3)
Format
  • (1)
  • (1)
  • (1)
Leveranstid
  • (1)

Pierre Casteran - Böcker

Visar alla böcker av Pierre Casteran. Handla med fri frakt och snabb leverans!

  1. Interactive Theorem Proving and Program Development

    av Yves Bertot, Pierre Casteran

    Inbunden, Engelska, 2004-05-01
    1669
    Köp
    Skickas inom 7-10 vardagar.
    Interactive Theorem Proving and Program Development

    A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

    Läs mer »

  2. Interactive Theorem Proving and Program Development

    av Yves Bertot, Pierre Casteran

    Häftad, Engelska, 2010-12-15
    1112
    Köp
    Skickas inom 7-10 vardagar.
    Interactive Theorem Proving and Program Development

    A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

    Läs mer »

  3. 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
    1163
    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 »