Grid   List

  1. Taschenbuch
    BOD - 2 Tage

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

    90,94 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Buch
    BOD - 7 Tage

    Gilles Kahn was one of the most influential figures in the development of computer science and in...

    244,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Buch
    BOD - 7 Tage

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

    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1