Grid   List

  1. Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the Third International Joint Conference on Aut...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    This volume contains the proceedings of the second working conference on Verified Software: Theor...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    BOD - 5 Tage

    Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical ...

    81,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1