Lukáš Holík – författare

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

1 produkter

1. 

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

   1109 kr

   Lägg i varukorg