Profisuche

dimitra giannakopoulou

Grid   List

  1. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Dimitra Giannakopoulou
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 14th International Conference on Fundamenta...

    53,49 €
    Alle Preise inkl. MwSt
  2. FM 2012: Formal Methods

    FM 2012: Formal Methods

    Dimitra Giannakopoulou
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 18th International Symposium on Formal Meth...

    53,49 €
    Alle Preise inkl. MwSt
  3. Verified Software: Theories, Tools and Experiments

    Verified Software: Theories, Tools and Experiments

    Dimitra Giannakopoulou
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th Internatio...

    50,28 €
    Alle Preise inkl. MwSt
  4. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Dimitra Giannakopoulou
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 12th International Conference on Software E...

    53,49 €
    Alle Preise inkl. MwSt
  5. NASA Formal Methods

    NASA Formal Methods

    Ritchie Lee
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The chapter 'Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle HOL' is available...

    78,10 €
    Alle Preise inkl. MwSt
  1. 1