Книги автора «Alexander Knapp»

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

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

Книги

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)