Книги автора «Marieke Huisman»

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

Зарегистрироваться на сайте Подробнее

Книги

Tools and Algorithms for the Construction and Analysis of Systems. 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems. 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Dirk Beyer,Marieke Huisman,Fabrice Kordon)

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

Tools and Algorithms for the Construction and Analysis of Systems. 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software (Dirk Beyer,Marieke Huisman)