All 3 Dimitra Giannakopoulou releases on Paperback Book
Categories
Other
Support
CAD
In stock at iMusic
Show unavailable items
![Cover for Dimitra Giannakopoulou · Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/536/9783319121536.jpg?dimitra-giannakopoulou-2014-verified-software-theories-tools-and-experiments-6th-international-conference-vstte-2014-vienna-austria-july-17-18-2014-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1419960855)
![Cover for Dimitra Giannakopoulou · Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Programming and Software Engineering (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/300/9783319104300.jpg?dimitra-giannakopoulou-2014-software-engineering-and-formal-methods-12th-international-conference-sefm-2014-grenoble-france-september-1-5-2014-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1524928013)
![Cover for Dimitra Giannakopoulou · FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/582/9783642327582.jpg?dimitra-giannakopoulou-2012-fm-2012-formal-methods-18th-international-symposium-paris-france-august-27-31-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1605102080)