Книги автора «Jan Friso Groote»

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

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

Книги

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software (Jan Friso Groote,Kim Guldstrand Larsen)