Grid   List

  1. Verified Software: Theories, Tools, Experiments

    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the sec...

    53,49 €
    Alle Preise inkl. MwSt
  2. Automated Reasoning

    Ebook
    Sofort lieferbar

    Here are the proceedings of the Third Internati...

    96,29 €
    Alle Preise inkl. MwSt
  3. Verified Software: Theories, Tools, Experiments

    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the sec...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  4. Metamathematics, Machines and Godel’s Proof

    Taschenbuch
    Print on Demand

    The automatic verification of large parts of ma...

    75,57 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  5. Automated Reasoning

    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1
Google Plus
Powered by Inooga