Книга "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. 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. 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. 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»
