Книги автора «Daniel Kroening»

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

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

Книги

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)