Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

Koleksi

Katalog

Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
23.21.2000 - Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

Barcode

23.21.2000-1

Kondisi

Tersedia

Tanggal masuk

18 October 2023

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