Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Koleksi

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
22.21.2535 - Zhe Hou, Vijay Ganesh
22.21.2535-1
Tersedia
22 December 2022

Informasi Koleksi

13
Beli
Logistik Telkom University
0
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5