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
  6. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Gwen Salaün
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Verified Software: Theories, Tools and Experiments

    Verified Software: Theories, Tools and Experiments

    Daniel Kroening
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    51,36 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. NASA Formal Methods

    NASA Formal Methods

    Ritchie Lee
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This book constitutes the proceedings of the 12th International Symposium on NASA Formal Metho...

    79,17 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. FM 2012: Formal Methods

    FM 2012: Formal Methods

    Dominique Mery
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20

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

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