Hoppa till sidans huvudinnehåll

Dimitra Giannakopoulou - Böcker

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, Engelska, 2020

1 089 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

709 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

Av Dimitra Giannakopoulou, Fernando Orejas

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar

FM 2012: Formal Methods

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

Av Dimitra Giannakopoulou, Dominique Mery

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar