Grid  List

  1. Interactive Theorem Proving and Program Development
    0 %
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 89,31 €

    Jetzt 89,30 €Ebook
    Alle Preise inkl. MwSt
  2. Taschenbuch
    Print on Demand

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

    85,59 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Buch
    Print on Demand

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

    117,69 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1