Profisuche

lenore d zuck

Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Nicolas Halbwachs
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    96,29 €
    Alle Preise inkl. MwSt
  2. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Lenore D. Zuck
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. 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
    Taschenbuch
    Print on Demand

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

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1