Erweiterte Suche

Grid  List

  1. Handbook of Model Checking Handbook of Model Checking

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    08.06.2018

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

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 149,79 €

    Jetzt 139,09 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    04.08.2014

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Trusted Systems Trusted Systems

    Trusted Systems

    Peter Lipp
    Springer International Publishing, Springer International Publishing
    11.11.2013

    This book constitutes the thoroughly refereed conference proceedings of the 5th International Con...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Eli Arbel
    Springer International Publishing, Springer International Publishing
    01.11.2016

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Software Verification Software Verification

    Software Verification

    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    22.02.2022

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Decidability of Parameterized Verification Decidability of Parameterized Verification

    Decidability of Parameterized Verification

    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    29.09.2015

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

    Taschenbuch
    48,14 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Handbook of Model Checking, 2 Teile Handbook of Model Checking, 2 Teile

    Handbook of Model Checking, 2 Teile

    Edmund M. Clarke
    Springer, Berlin, Springer International Publishing, Springer

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

    Taschenbuch
    149,79 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1