Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Koleksi

Katalog

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
23.21.611 - Alexandra Silva, K. Rustan M. Leino

Barcode

23.21.611-1

Kondisi

Tersedia

Tanggal masuk

03 April 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