Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Koleksi

Katalog

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
23.21.1787 - Owolabi Legunsen, Grigore Rosu

Barcode

23.21.1787-1

Kondisi

Tersedia

Tanggal masuk

16 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