Книги автора «Dimitra Giannakopoulou»

На данной странице предаставлены все книги автора «Dimitra Giannakopoulou»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Dimitra Giannakopoulou»

Книги

Verified Software. Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software. Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Dimitra Giannakopoulou,Daniel Kroening)