Verification, Model Checking, and Abstract Interpretation

Koleksi

Katalog

Verification, Model Checking, and Abstract Interpretation
16.21.2296 - Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Barcode

16.21.2296-1

Kondisi

Tersedia

Tanggal masuk

22 March 2016

Unit

Asal penerimaan

Beli

Pemasok

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5