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 Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26-April 3, 201...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 ...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full pa...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
    78,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 f...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 ...
    51,36 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers pre...
    79,17 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together w...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>