Grid   List

  1. Deductive Software Verification - The KeY Book
    -0 %

    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 v...

    Unser bisheriger Preis:ORGPRICE: 141,46 €

    Jetzt 141,45 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Integrated Formal Methods
    -0 %

    Integrated Formal Methods

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,90 €

    Jetzt 57,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Erfolgsfaktor Sozialkompetenz

    Erfolgsfaktor Sozialkompetenz

    Bernd Ahrendt
    Haufe
    Ebook
    Sofort lieferbar
    38,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Erfolgsfaktor Sozialkompetenz

    Erfolgsfaktor Sozialkompetenz

    Bernd Ahrendt
    Haufe
    Ebook
    Sofort lieferbar
    38,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Deductive Software Verification: Future Perspectives
    -0 %

    Deductive Software Verification: Future Perspectives

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,35 €

    Jetzt 57,34 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Tests and Proofs
    -0 %

    Tests and Proofs

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,60 €

    Jetzt 57,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Logic of Software. A Tasting Menu of Formal Methods
    -0 %

    Logic of Software. A Tasting Menu of Formal Methods

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 114,92 €

    Jetzt 114,91 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Erfurter Kommentar zum Arbeitsrecht

    Erfurter Kommentar zum Arbeitsrecht

    Rudi Müller-Glöge
    Beck Juristischer Verlag
    Buch
    Nicht lieferbar

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

    199,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1