Grid   List

  1. Handbook of Model Checking

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    Buch
    Sofort lieferbar

    Model checking is a computer-assisted method fo...

    139,09 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  2. 25 Years of Model Checking

    25 Years of Model Checking

    Orna Grumberg
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Model checking technology is among the foremost...

    37,44 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Iliano Cervesato
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Handbook of Model Checking

    Handbook of Model Checking

    Edmund M. Clarke
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Model checking is a computer-assisted method fo...

    139,09 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Computer Aided Verification

    Computer Aided Verification

    Natasha Sharygina
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Computer Science Logic

    Computer Science Logic

    Anuj Dawar
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Model Checking, second edition

    Model Checking, second edition

    Edmund M. Clarke
    MIT Press
    Ebook
    Sofort lieferbar

    An expanded and updated edition of a comprehens...

    81,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. 25 Years of Model Checking

    25 Years of Model Checking

    Helmut Veith
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Model checking technology is among the foremost...

    37,44 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Computer Aided Verification

    Computer Aided Verification

    Helmut Veith
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  10. Model Checking

    Model Checking

    Daniel Kroening
    MIT Press Ltd
    Buch
    Besorgungstitel - wird vorgemerkt

    An expanded and updated edition of a comprehens...

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