Detailsuche

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 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  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,08 €

    Jetzt 56,07 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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: 111,59 €

    Jetzt 111,58 €Ebook
    Alle Preise inkl. MwSt
  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: 61,86 €

    Jetzt 61,85 €Ebook
    Alle Preise inkl. MwSt
  6. Decidability of Parameterized Verification
    0 %
    Decidability of Parameterized Verification
    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 49,77 €

    Jetzt 49,76 €Ebook
    Alle Preise inkl. MwSt
  7. Computer Aided Verification
    0 %
    Computer Aided Verification
    Roderick Bloem
    Springer International Publishing
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 106,99 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Hardware and Software: Verification and Testing
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Software Verification
    0 %
    Software Verification
    Roderick Bloem
    Springer International Publishing
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 58,84 €

    Jetzt 58,83 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Decidability of Parameterized Verification
    Decidability of Parameterized Verification
    Roderick Bloem
    Springer International Publishing
    Taschenbuch
    Print on Demand

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

    48,14 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Handbook of Model Checking, 2 Teile
    0 %
    Handbook of Model Checking, 2 Teile
    Edmund M. Clarke
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 149,79 €

    Jetzt 149,78 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. 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 €Ebook
    Alle Preise inkl. MwSt
  1. 1