Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Koleksi

Katalog

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
24.21.472 - Constantin Enea, Akash Lal

Barcode

24.21.472-1

Kondisi

Tersedia

Tanggal masuk

02 February 2024

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