Detailsuche

Grid  List

  1. 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,49 €

    Jetzt 56,48 €Ebook
    Alle Preise inkl. MwSt
  2. 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: 63,29 €

    Jetzt 63,28 €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: 152,26 €

    Jetzt 149,79 €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: 113,86 €

    Jetzt 113,85 €Ebook
    Alle Preise inkl. MwSt
  5. Software Verification
    0 %
    Software Verification
    Roderick Bloem
    Springer, Berlin, Springer International Publishing, Springer
    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
  6. Decidability of Parameterized Verification
    Decidability of Parameterized Verification
    Roderick Bloem
    Springer, Berlin, Springer International Publishing, Morgan & Claypool, Springer
    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
  7. Computer Aided Verification
    0 %
    Computer Aided Verification
    Armin Biere
    Springer, Berlin, Springer International Publishing, Springer
    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
    Roderick Bloem
    Springer, Berlin, Springer International Publishing, Springer
    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. 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
  10. 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...

    51,36 €Ebook
    Alle Preise inkl. MwSt
  1. 1