Книги автора «Gwen Salaün»

На данной странице предаставлены все книги автора «Gwen Salaün»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Gwen Salaün»

Книги

Formal Methods for Industrial Critical Systems. 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Formal Methods for Industrial Critical Systems. 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Gwen Salaün,Bernhard Schätz)