mehr als bücher

Grid  List

  1. Software Reliability Methods
    Software Reliability Methods
    Doron A Peled
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents current methods for dealing with software reliability, illustrating the advant...

    53,49 €*
  2. Software Reliability Methods
    Software Reliability Methods
    Doron A Peled
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    RezensionFrom the reviews:'The book covers a wide range of formal methods and how to use ...

    53,49 €*
  3. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Francesco Logozzo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Computer Aided Verification
    Computer Aided Verification
    Rajeev Alur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    106,99 €*
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Doron A Peled
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  6. Model Checking and Artificial Intelligence
    Model Checking and Artificial Intelligence
    Doron A Peled
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  7. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1