Wu - Böcker

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

1 produkt

Kategorier

1 produkt

Automated Technology for Verification and Analysis

20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

AvAhmed Bouajjani,Lukáš Holík m. fl.

Häftad, Engelska, 2022

1 069 kr

Skickas inom 10-15 vardagar