Grid   List

  1. Buch
    Print on Demand

    Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the...

    234,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    Print on Demand

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

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

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

    116,70 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Taschenbuch
    Print on Demand

    This book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1