pierre castéran

Grid   List

  1. Interactive Theorem Proving and Program Development

    Ebook
    Sofort lieferbar

    Coq is an interactive proof assistant for the development of mathematical theories and formally c...

    85,59 €
    Alle Preise inkl. MwSt
  2. Interactive Theorem Proving and Program Development

    Taschenbuch
    Print on Demand

    Coq is an interactive proof assistant for the development of mathematical theories and formall...

    85,59 €
    Alle Preise inkl. MwSt | zzgl. Versand
  3. Interactive Theorem Proving and Program Development

    Buch
    Print on Demand

    Coq is an interactive proof assistant for the development of mathematical theories and formall...

    117,69 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1