Lukáš Holík – författare
Visar alla böcker från författaren Lukáš Holík. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 13505 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Häftad, Engelska, 2022
827 kr
Skickas inom 10-15 vardagar
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.