Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Koleksi

Katalog

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
23.21.574 - Sharon Shoham, Yakir Vizel

Barcode

23.21.574-1

Kondisi

Tersedia

Tanggal masuk

30 March 2023

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

Telkom University Open Library

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali