wolfgang ahrendt

Grid   List

  1. Integrated Formal Methods
    Integrated Formal Methods
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Deductive Software Verification - The KeY Book
    Deductive Software Verification - The KeY Book
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio o...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Tests and Proofs
    Tests and Proofs
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verificati...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Erfolgsfaktor Sozialkompetenz
    Erfolgsfaktor Sozialkompetenz
    Bernd Ahrendt
    Haufe Lexware GmbH
    Ebook
    Sofort lieferbar
    Mitarbeiter und ihre Kompetenzen werden immer wichtiger für Unternehmen und können sogar einen Wettbewerbsvorteil bedeuten. Daher ist es wichtig, ein Kompetenzmanagement zu etablieren, das ein syst...
    38,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Erfolgsfaktor Sozialkompetenz
    Erfolgsfaktor Sozialkompetenz
    Bernd Ahrendt
    Haufe Lexware GmbH
    Ebook
    Sofort lieferbar
    Mitarbeiter und ihre Kompetenzen werden immer wichtiger für Unternehmen und können sogar einen Wettbewerbsvorteil bedeuten. Daher ist es wichtig, ein Kompetenzmanagement zu etablieren, das ein syst...
    38,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Deductive Software Verification: Future Perspectives
    Deductive Software Verification: Future Perspectives
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification t...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. The Logic of Software. A Tasting Menu of Formal Methods
    The Logic of Software. A Tasting Menu of Formal Methods
    Wolfgang Ahrendt
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Deductive Software Verification - The KeY Book
    Deductive Software Verification - The KeY Book
    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfoli...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Integrated Formal Methods
    Integrated Formal Methods
    Silvia Lizeth Tapia Tarifa
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Tests and Proofs
    Tests and Proofs
    Heike Wehrheim
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Deductive Software Verification: Future Perspectives
    Deductive Software Verification: Future Perspectives
    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. 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
    Taschenbuch
    Bezug 11-15
    This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technolo...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>