Automated Technology for Verification and Analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Koleksi

Katalog

Automated Technology for Verification and Analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
22.21.600 - Dang Van Hung, Oleg Sokolsky

Barcode

22.21.600-1

Kondisi

Tersedia

Tanggal masuk

14 March 2022

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