Wissen, was kommt.
Erweiterte Suche

Grid  List

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

    Verification, Model Checking, and Abstract Interpretation

    Lenore D. Zuck
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.12.2002

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

    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

    Lenore Zuck
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.03.2005

    ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of So...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1