Lukáš Holík – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Del 13505

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu - Automated Technology for Verification and Analysis, Häftad

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

AvAhmed Bouajjani,Lukáš Holíkm. fl.

Häftad, Engelska, 2022

1 089 kr

Skickas inom 10-15 vardagar