Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Koleksi

Katalog

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
24.21.896 - Cezara Dragoi, Michael Emmi, Jingbo Wang

Barcode

24.21.896-1

Kondisi

Tersedia

Tanggal masuk

31 October 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