Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Variations on Constants

    Variations on Constants

    Markus Müller-Olm
    Springer Verlag GmbH 02.10.2006 - 2006
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Static Analysis

    Static Analysis

    Markus Müller-Olm
    Springer Verlag GmbH 20.08.2014 - 2014
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Modular Compiler Verification

    Modular Compiler Verification

    Markus Müller-Olm
    Springer Verlag GmbH 06.08.1997 - 1997
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabeComplete Boolean lattices.- Galois connections.- States, valuation functions and pre...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Neil Jones
    Springer Verlag GmbH 18.12.2008 - 2008
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Xinyu Feng
    Springer Verlag GmbH 26.08.2018 - 2018
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1