Profisuche

maría alpuente

Grid   List

  1. Logic-Based Program Synthesis and Transformation

    Logic-Based Program Synthesis and Transformation

    María Alpuente
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposiu...

    53,49 €
    Alle Preise inkl. MwSt
  2. Static Analysis

    Static Analysis

    María Alpuente
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    María Alpuente
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 14th International Workshop on Formal Methods for In...

    53,49 €
    Alle Preise inkl. MwSt
  4. Static Analysis

    Static Analysis

    Germán Vidal-Oriola
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    María Alpuente
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 14th International Workshop on Formal Methods for In...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1