Книги автора «Reiner Hähnle»

На данной странице предаставлены все книги автора «Reiner Hähnle»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Reiner Hähnle»

Книги

Formal Methods for Components and Objects. 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects. 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Elena Giachino,Reiner Hähnle,Frank S. de Boer)