Vor Ort
Merkzettel Warenkorb

Deine Suchergebnisse für

Filtern und Sortieren

Sortierung
Meine Präferenzen

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

orna grumberg: 6 Treffer

  • Software Safety and Security Produktbild: Software Safety and Security

    Software Safety and Security

    eBook (PDF)

    183,99 €

    Sofort per Download lieferbar

  • 25 Years of Model Checking Produktbild: 25 Years of Model Checking

    Orna Grumberg + weitere

    25 Years of Model Checking

    Buch (Taschenbuch)

    34,99 €

    Lieferbar in 3 - 5 Tagen

  • Tools and Algorithms for the Construction and Analysis of Systems Produktbild: Tools and Algorithms for the Construction and Analysis of Systems

    Orna Grumberg + weitere

    Tools and Algorithms for the Construction and Analysis of Systems
    Band 4424

    Buch (Taschenbuch)

    97,99 €

    Lieferbar in 3 - 5 Tagen

  • Computer Aided Verification Produktbild: Computer Aided Verification

    Orna Grumberg

    Computer Aided Verification
    Band 1254

    Buch (Taschenbuch)

    49,99 €

    Lieferbar in 3 - 5 Tagen

  • Languages: From Formal to Natural Produktbild: Languages: From Formal to Natural

    Orna Grumberg, Michael Kaminski, Shmuel Katz + weitere

    Languages: From Formal to Natural
    Band 5533

    Buch (Taschenbuch)

    49,99 €

    Lieferbar in 3 - 5 Tagen

  • Model Checking, second edition Produktbild: Model Checking, second edition

    Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled + weitere

    Model Checking, second edition

    eBook (ePUB 3)

    80,49 €

    Sofort per Download lieferbar

von 6 Treffern werden angezeigt