Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Doron Peled
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.06.1999

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Networked and Distributed Systems - FORTE 2002 Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Moshe Y. Vardi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    28.10.2002

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Francesco Logozzo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    26.02.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Cyrille Artho
    Springer International Publishing, Springer International Publishing
    22.09.2016

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

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

    Runtime Verification

    Doron A. Peled
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.09.2009

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Yih-Kuen Tsay
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.09.2005

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence

    Model Checking and Artificial Intelligence

    Doron A. Peled
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Software Reliability Methods Software Reliability Methods

    Software Reliability Methods

    Doron A. Peled
    Springer New York, Springer New York
    09.10.2011

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Doron A. Peled
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    29.06.2004

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Software Reliability Methods Software Reliability Methods

    Software Reliability Methods

    Doron a Peled
    Springer New York
    26.06.2001

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

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 106,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1