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

Koleksi

Katalog

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
24.21.1130 - Étienne André, Jun Sun

Barcode

24.21.1130-1

Kondisi

Tersedia

Tanggal masuk

04 November 2024

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali