Grid   List

  1. Handbook of Model Checking
    -0 %

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    Buch
    Sofort lieferbar

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be...

    Unser bisheriger Preis:ORGPRICE: 149,79 €

    Jetzt 139,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb
    Zum Merkzettel
  2. Hardware and Software: Verification and Testing
    -0 %

    Hardware and Software: Verification and Testing

    Eli Arbel
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 12th International Haifa Verification ...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Handbook of Model Checking
    -0 %

    Handbook of Model Checking

    Edmund M. Clarke
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

    Unser bisheriger Preis:ORGPRICE: 139,09 €

    Jetzt 139,08 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Computer Aided Verification
    -0 %

    Computer Aided Verification

    Armin Biere
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...

    Unser bisheriger Preis:ORGPRICE: 112,18 €

    Jetzt 112,17 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Software Verification
    -0 %

    Software Verification

    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 13th International Conference on Verified S...

    Unser bisheriger Preis:ORGPRICE: 62,60 €

    Jetzt 62,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Eli Arbel
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 12th International Haifa Verification Co...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Decidability of Parameterized Verification

    Decidability of Parameterized Verification

    Roderick Bloem
    Morgan & Claypool Publishers
    Ebook
    Nicht lieferbar

    While the classic model checking problem is to decide whether a finite system satisfies a specifi...

    47,99 €
    Alle Preise inkl. MwSt
  8. Decidability of Parameterized Verification

    Decidability of Parameterized Verification

    Roderick Bloem
    Springer International Publishing
    Ebook
    Nicht lieferbar

    While the classic model checking problem is to decide whether a finite system satisfies a specifi...

    50,09 €
    Alle Preise inkl. MwSt
  1. 1