Computer Aided Verification35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Koleksi

Katalog

Computer Aided Verification35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
24.21.488 - Constantin Enea, Akash Lal

Barcode

24.21.488-1

Kondisi

Tersedia

Tanggal masuk

06 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