mehr als bücher

Grid  List

  1. Deductive Software Verification - The KeY Book
    Deductive Software Verification - The KeY Book
    Wolfgang Ahrendt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    128,39 €*
  2. Integrated Formal Methods
    Integrated Formal Methods
    Wolfgang Ahrendt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  3. Tests and Proofs
    Tests and Proofs
    Wolfgang Ahrendt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Deductive Software Verification: Future Perspectives
    Deductive Software Verification: Future Perspectives
    Wolfgang Ahrendt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  5. Erfolgsfaktor Sozialkompetenz
    Erfolgsfaktor Sozialkompetenz
    Bernd Ahrendt
    Haufe Lexware GmbH & Co. KG
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Mitarbeiter und ihre Kompetenzen werden immer wichtiger für Unternehmen und können sogar einen We...

    39,95 €*
  6. The Logic of Software. A Tasting Menu of Formal Methods
    The Logic of Software. A Tasting Menu of Formal Methods
    Wolfgang Ahrendt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    106,99 €*
  1. 1