Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Static Analysis Static Analysis

    Static Analysis

    Helmut Seidl
    Springer International Publishing, Springer International Publishing
    20.08.2014

    This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Modular Compiler Verification Modular Compiler Verification

    Modular Compiler Verification

    Markus Müller-Olm
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    06.08.1997

    This book presents the verified design of a code generator translating a prototypic real-time pro...

    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

    Markus Müller-Olm
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.12.2008

    This volume contains the proceedings of the 10th International Conference on Veri?cation, Model C...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Xinyu Feng
    Springer International Publishing, Springer Nature Switzerland
    26.08.2018

    This book constitutes the proceedings of the Third International Symposium on Dependable Software...

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

    Variations on Constants

    Markus Müller-Olm
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.10.2006

    Program analysis is concerned with techniques that automatically determine run-time properties of...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1