Hoppa till sidans huvudinnehåll

Dimitra Giannakopoulou – författare

Visar alla böcker från författaren .
5 produkter
Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou - NASA Formal Methods, Häftad

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

AvRitchie Lee,Susmit Jham. fl.

Häftad, Engelska, 2020

1 079 kr

Skickas inom 10-15 vardagar

Dimitra Giannakopoulou, Gwen Salaün - Software Engineering and Formal Methods, Häftad
Del 8702 - Lecture Notes in Computer Science

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

AvDimitra Giannakopoulou,Gwen Salaün

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Dimitra Giannakopoulou, Daniel Kroening - Verified Software: Theories, Tools and Experiments, Häftad
Del 8471 - Lecture Notes in Computer Science

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

AvDimitra Giannakopoulou,Daniel Kroening

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Dimitra Giannakopoulou, Fernando Orejas - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

AvDimitra Giannakopoulou,Fernando Orejas

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods, Häftad

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

AvDimitra Giannakopoulou,Dominique Mery

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar