Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Tests and Proofs Tests and Proofs

    Tests and Proofs

    Wolfgang Ahrendt
    Springer, Springer
    20.06.2020

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods

    The Logic of Software. A Tasting Menu of Formal Methods

    Wolfgang Ahrendt
    Springer, Springer
    16.06.2022

    This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Wolfgang Ahrendt
    Springer, Springer VS
    15.11.2019

    This book constitutes the refereed proceedings of the 15th International Conference on Integrated...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Deductive Software Verification - The KeY Book Deductive Software Verification - The KeY Book

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt
    Springer, Springer
    21.12.2016

    Static analysis of software with deductive methods is a highly dynamic field of research on the v...

    Taschenbuch
    128,39 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives

    Deductive Software Verification: Future Perspectives

    Wolfgang Ahrendt
    Springer, Springer
    09.12.2020

    This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1