Dimitra Giannakopoulou – författare
Visar alla böcker från författaren Dimitra Giannakopoulou.
5 produkter
NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Av Ritchie Lee, Susmit Jha m. fl.
Häftad, 2020
1089 kr
Lägg i varukorg
Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Av Dimitra Giannakopoulou, Gwen Salaün
Häftad, 2014
739 kr
Lägg i varukorg
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Av Dimitra Giannakopoulou, Daniel Kroening
Häftad, 2014
709 kr
Lägg i varukorg
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
Av Dimitra Giannakopoulou, Fernando Orejas
Häftad, 2011
739 kr
Lägg i varukorg
FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Av Dimitra Giannakopoulou, Dominique Mery
Häftad, 2012
739 kr
Lägg i varukorg