Lukáš Holík - Böcker

Visar alla böcker från författaren Lukáš Holík.
1 produkt
Ahmed Bouajjani, Lukáš Holík, Zhilin Wu, Lukas Holik, Lukás Holík, Zhilin Holík, Lukáš, Wu - Automated Technology for Verification and Analysis, Häftad
Del 13505 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

Av Ahmed Bouajjani, Lukáš Holík, Zhilin Wu, Lukas Holik, Lukás Holík, Zhilin Holík, Lukáš, Wu

Häftad, Engelska, 2022

1 099 kr

Skickas inom 7-10 vardagar