Verification, Model Checking, and Abstract Interpretation:23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Koleksi

Katalog

Verification, Model Checking, and Abstract Interpretation:23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
23.21.1260 - Bernd Finkbeiner, Thomas Wies

Barcode

23.21.1260-1

Kondisi

Tersedia

Tanggal masuk

12 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