*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Software Reliability Methods
    Software Reliability Methods
    Doron A. Peled
    Springer New York, Springer New York
    Taschenbuch
    BOD - 2 Tage

    Many books focus on increasing the quality of software through the use of formal methods. However...

    54,10 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Cyrille Artho
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Keynote.- Synthesizing and Completely Testing Hardware based on Templates through Small Numbers o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Networked and Distributed Systems - FORTE 2002
    Formal Techniques for Networked and Distributed Systems - FORTE 2002
    Doron A. Peled
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...

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

    This book constitutes the refereed proceedings of the 11th International Conference on Computer A...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Runtime Verification
    Runtime Verification
    Saddek Bensalem
    Springer, Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

    Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Doron A. Peled
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Computer Aided Verification
    Computer Aided Verification
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Rob Tristan Gerth: 1956-2003.- Static Program Analysis via 3-Valued Logic.- Deductive Verificatio...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Francesco Logozzo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediat...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1