Zhilin Holík, Luká - Böcker

Visar alla böcker från författaren Zhilin Holík, Luká.

1 produkt

Kategorier

1 produkt

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, Engelska, 2022

1 089 kr

Skickas inom 10-15 vardagar