*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Erfurter Kommentar zum Arbeitsrecht
    Erfurter Kommentar zum Arbeitsrecht
    Rudi Müller-Glöge
    Verlag C. H. BECK oHG
    sonst. Bücher
    Lieferbar in 5-7 Tagen

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

    199,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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 methods is a highly dynamic field of research on the v...

    133,72 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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 of the 15th International Conference on Integrated...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tests and Proofs
    Tests and Proofs
    Heike Wehrheim
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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 of 20 years on the KeY project that focuses on ded...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. 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 the occasion of his 60th birthday, contains paper...

    109,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1