Vor Ort
Merkzettel Warenkorb

Deine Suchergebnisse für

Filtern und Sortieren

Sortierung
Meine Präferenzen

Mit einem Klick zum persönlichen Suchergebnis
Kategorie
Sprachen
Preis
Lieferbarkeit
Autorinnen / Autoren
Reihen
Click & Collect:

ernst-rüdiger olderog: 7 Treffer

  • Model Checking, Synthesis, and Learning Produktbild: Model Checking, Synthesis, and Learning
    Band 13030

    Model Checking, Synthesis, and Learning

    Buch (Taschenbuch) + weitere

    63,99 €

    Lieferbar in 3 - 5 Tagen

  • Provably Correct Systems Produktbild: Provably Correct Systems
    - 10%

    Provably Correct Systems

    Buch (Gebundene Ausgabe) + weitere

    95,99 € UVP 106,99 € *

    Lieferbar in 5 - 7 Tagen

  • Correct System Design Produktbild: Correct System Design
    Band 1710

    Correct System Design

    eBook (PDF) + weitere

    53,49 €

    Sofort per Download lieferbar

  • Formal Techniques in Real-Time and Fault-Tolerant Systems Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
    Band 2469

    Formal Techniques in Real-Time and Fault-Tolerant Systems

    eBook (PDF) + weitere

    53,49 €

    Sofort per Download lieferbar

  • Programmverifikation Produktbild: Programmverifikation

    Krzysztof R. Apt + weitere

    Programmverifikation

    eBook (PDF) + weitere

    22,99 €

    Sofort per Download lieferbar

  • Verification of Sequential and Concurrent Programs Produktbild: Verification of Sequential and Concurrent Programs
    - 13%

    Krzysztof R. Apt, Frank S. de Boer + weitere

    Verification of Sequential and Concurrent Programs

    Buch (Gebundene Ausgabe) + weitere

    92,99 € UVP 106,99 € *

    Lieferbar in 5 - 7 Tagen

  • Real-Time Systems Produktbild: Real-Time Systems

    Ernst-Rüdiger Olderog + weitere

    Real-Time Systems

    Buch (Gebundene Ausgabe) + weitere

    128,99 €

    Lieferbar in 2 - 3 Wochen

von 7 Treffern werden angezeigt