Grid   List

  1. 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 meth...

    117,69 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Integrated Formal Methods

    Integrated Formal Methods

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    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 demon...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Erfolgsfaktor Sozialkompetenz

    Erfolgsfaktor Sozialkompetenz

    Bernd Ahrendt
    Haufe Lexware GmbH
    Ebook
    Sofort lieferbar

    Mitarbeiter und ihre Kompetenzen werden immer w...

    38,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Erfolgsfaktor Sozialkompetenz

    Erfolgsfaktor Sozialkompetenz

    Bernd Ahrendt
    Haufe Lexware GmbH
    Ebook
    Sofort lieferbar

    Mitarbeiter und ihre Kompetenzen werden immer w...

    38,99 €
    Alle Preise inkl. MwSt
    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 deca...

    53,49 €
    Alle Preise inkl. MwSt
    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...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Deductive Software Verification ¿ The KeY Book

    Deductive Software Verification ¿ The KeY Book

    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    Static analysis of software with deductive meth...

    128,39 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  9. Integrated Formal Methods

    Integrated Formal Methods

    Silvia Lizeth Tapia Tarifa
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Tests and Proofs

    Tests and Proofs

    Heike Wehrheim
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Deductive Software Verification: Future Perspectives

    Deductive Software Verification: Future Perspectives

    Wolfgang Ahrendt
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book presents reflections on the occasion ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    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
    Print on Demand

    This Festschrift, dedicated to Reiner Hähnle on...

    106,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga