Erweiterte Suche

Grid  List

  1. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Andreas Podelski
    Springer Berlin Heidelberg
    03.01.2007

    The book constitutes the refereed proceedings of the 7th International Conference on Verification...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Andreas Podelski
    Springer Berlin Heidelberg
    18.03.2004

    This volume contains the proceedings of the 10th International Conference on Tools and Algorithms...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Static Analysis Static Analysis

    Static Analysis

    Andreas Podelski
    Springer International Publishing, Springer International Publishing
    29.08.2018

    This book constitutes the refereed proceedings of the 25th International Static Analysis Symposiu...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Networked Systems Networked Systems

    Networked Systems

    François Taïani
    Springer International Publishing, Springer International Publishing
    06.01.2019

    This book constitutes the thoroughly refereed conference proceedings of the 6th International Con...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Constraint Programming: Basics and Trends Constraint Programming: Basics and Trends

    Constraint Programming: Basics and Trends

    Andreas Podelski
    Springer Berlin Heidelberg
    20.03.1995

    This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spri...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments

    Verified Software: Theories, Tools, Experiments

    Rajeev Joshi
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 4th International Conference on Verified Software: Th...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,99 €

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