Erweiterte Suche

Grid  List

  1. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Kedar Namjoshi
    Springer Berlin Heidelberg
    09.10.2007

    This book constitutes the refereed proceedings of the 5th International Symposium on Automated Te...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Kedar S. Namjoshi
    Springer Berlin Heidelberg
    19.12.2005

    The 27 revised full papers presented here, together with one invited paper were carefully reviewe...

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

    Static Analysis

    Cezara Dr¿goi
    Springer International Publishing, Springer International Publishing
    14.10.2021

    This book constitutes the refereed proceedings of the 28th International Symposium on Static Anal...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Kedar Namjoshi
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Ver...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

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