*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Software Reliability Methods
    Software Reliability Methods
    Doron A. Peled
    Springer New York
    Taschenbuch
    Print on Demand

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

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology...

    55,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
    Moshe Y. Vardi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    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
    Doron Peled
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Runtime Verification
    Runtime Verification
    Doron A. Peled
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The RV series of workshops brings together researchers from academia and - dustry that are intere...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Yih-Kuen Tsay
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    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
    Doron A. Peled
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Francesco Logozzo
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...

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