Книги автора «Stefania Gnesi»

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

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

Книги

Critical Systems. Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated

Critical Systems. Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated (Maurice H. ter Beek,Stefania Gnesi,Alexander Knapp)