An Introduction to Practical Formal Methods Using Temporal Logic

Koleksi

Katalog

An Introduction to Practical Formal Methods Using Temporal Logic
15.01.844 - Michael Fisher

Barcode

15.01.844-2

Kondisi

Tersedia

Tanggal masuk

04 May 2015

Unit

Asal penerimaan

Beli

Pemasok

Logistik

Harga pembelian

Jenis katalog

Buku - Circulation (Dapat Dipinjam)

Lokasi

Tel-U Gedung Manterawu Lantai 5