Книги автора «Maurice H. ter Beek»

На данной странице предаставлены все книги автора «Maurice H. ter Beek»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Maurice H. ter Beek»

Книги

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)