Lukáš Holík – författare
Visar alla böcker från författaren Lukáš Holík. Handla med fri frakt och snabb leverans.
2 produkter
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Av Ahmed Bouajjani, Lukáš Holík m. fl.
Häftad, 2022
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, …
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Av Zhilin Wu, Lukas Holik m. fl.
E-bok, 2022
1091 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, …
