Dimitra Giannakopoulou – författare

Visar alla böcker från författaren Dimitra Giannakopoulou.

5 produkter

Kategorier

5 produkter

Del 12229
Del 12229 - Lecture Notes in Computer Science
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 109 kr
Skickas inom 10-15 vardagar
Del 8702
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
749 kr
Skickas inom 10-15 vardagar
Del 8471
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
729 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
AvDimitra Giannakopoulou,Dominique Mery
Häftad, Engelska, 2012
749 kr
Skickas inom 10-15 vardagar