Handbook of Model Checking

Koleksi

Katalog

Handbook of Model Checking
21.21.1814 - Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem

Barcode

21.21.1814-1

Kondisi

Tersedia

Tanggal masuk

07 May 2021

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5