*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...

    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Trusted Systems
    Trusted Systems
    Peter Lipp
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Eli Arbel
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    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
    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    112,30 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Software Verification
    Software Verification
    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    59,55 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Decidability of Parameterized Verification
    Decidability of Parameterized Verification
    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    47,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1