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
1 099 kr
Skickas inom 10-15 vardagar
Lukáš Holík – författare
Visar alla böcker från författaren Lukáš Holík.
1 produkt
1 produkt