Model Checking Software:27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Koleksi

Katalog

Model Checking Software:27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
22.21.1937 - Alfons Laarman, Ana Sokolova

Barcode

22.21.1937-1

Kondisi

Tersedia

Tanggal masuk

09 December 2022

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5