Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

Koleksi

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
24.21.1175 - Étienne André, Jun Sun
24.21.1175-1
Tersedia
04 November 2024

Informasi Koleksi

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