*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Handbook of Model Checking
    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 mo...

    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Trusted Systems
    Trusted Systems
    Roderick Bloem
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Roderick Bloem
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer Aided Verification
    Computer Aided Verification
    Armin Biere
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Software Verification
    Software Verification
    Roderick Bloem
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    VSTTE 2021.- Quantitative Monitoring of Software.- Making Proofs of Floating-Point Programs Acces...

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Decidability of Parameterized Verification
    Decidability of Parameterized Verification
    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    BOD - 2 Tage

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

    48,14 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1