mehr als bücher

Grid  List

  1. Formal Approaches to Software Testing and Runtime Verification
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the thoroughly refereed post-proceedings of the First Combined Internationa...

    53,49 €*
  2. NASA Formal Methods
    NASA Formal Methods
    Klaus Havelund
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal ...

    53,49 €*
  3. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

    53,49 €*
  4. SPIN Model Checking and Software Verification
    SPIN Model Checking and Software Verification
    Klaus Havelund
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The SPIN workshop is a forum for researchers interested in the subject of automata-based, explici...

    53,49 €*
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Erika Abraham
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...

    53,49 €*
  6. Formal Methods
    Formal Methods
    Klaus Havelund
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Meth...

    96,29 €*
  7. NASA Formal Methods
    NASA Formal Methods
    Jyotirmoy V Deshmukh
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    139,09 €*
  1. 1