Grid   List

  1. 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
  2. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Orna Grumberg
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Languages: From Formal to Natural

    Languages: From Formal to Natural

    Orna Grumberg
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This Festschrift volume, published in honor of ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. 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
  5. 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
  6. Computer Aided Verification

    Computer Aided Verification

    Orna Grumberg
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the strictly refereed pro...

    96,29 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. 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