Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Tests and Proofs Tests and Proofs

    Tests and Proofs

    Heike Wehrheim
    Springer International Publishing, Springer Nature Switzerland
    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. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Silvia Lizeth Tapia Tarifa
    Springer International Publishing, Springer Nature Switzerland
    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
  3. Deductive Software Verification - The KeY Book Deductive Software Verification - The KeY Book

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    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
  4. Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives

    Deductive Software Verification: Future Perspectives

    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    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
  5. 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 International Publishing, Springer International Publishing
    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
  6. Erfurter Kommentar zum Arbeitsrecht Erfurter Kommentar zum Arbeitsrecht

    Erfurter Kommentar zum Arbeitsrecht

    Rudi Müller-Glöge
    Beck Juristischer Verlag
    03.12.2023

    Zum WerkDer 'Erfurter' erläutert mehr als 40 wichtige arbeitsrechtliche Gesetze für den Rechtsall...

    Gebunden
    199,00 €
    Nicht lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Erfolgsfaktor Sozialkompetenz Erfolgsfaktor Sozialkompetenz

    Erfolgsfaktor Sozialkompetenz

    Bernd Ahrendt
    Haufe-Lexware, Haufe
    28.05.2021

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

    Taschenbuch
    39,95 €
    Nicht lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1