Detailsuche

Grid  List

  1. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Jasmin Christian Blanchette
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 7th International Conference on Intera...

    Unser bisheriger Preis:ORGPRICE: 57,99 €

    Jetzt 57,98 €Ebook
    Alle Preise inkl. MwSt
  2. Tests and Proofs
    0 %
    Tests and Proofs
    Jasmin Christian Blanchette
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Tests and P...

    Unser bisheriger Preis:ORGPRICE: 51,34 €

    Jetzt 51,33 €Ebook
    Alle Preise inkl. MwSt
  3. Automated Reasoning
    0 %
    Automated Reasoning
    Jasmin Blanchette
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Con...

    Unser bisheriger Preis:ORGPRICE: 3,86 €

    Jetzt 3,85 €Ebook
    Alle Preise inkl. MwSt
  4. Tests and Proofs
    Tests and Proofs
    Nikolai Kosmatov
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 9th International Conference on Tests and P...

    51,36 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Theorem Proving
    Interactive Theorem Proving
    Stephan Merz
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 7th International Conference on Interactive...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Reasoning
    Automated Reasoning
    Jasmin Blanchette
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint ...

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1