Koleksi

Barcode	Katalog	Unit	Penerimaan	Kondisi
2 results
15.01.844-1	An Introduction to Practical Formal Methods Using Temporal Logic 15.01.844 – Michael Fisher Klasifikasi 511.3 – Buku - Circulation (Dapat Dipinjam) (Sirkulasi) Lokasi Tel-U Gedung Manterawu Lantai 5	S1 Rekayasa Perangkat Lunak	Beli	Tersedia
15.01.844-2	An Introduction to Practical Formal Methods Using Temporal Logic 15.01.844 – Michael Fisher Klasifikasi 511.3 – Buku - Circulation (Dapat Dipinjam) (Sirkulasi) Lokasi Tel-U Gedung Manterawu Lantai 5	S1 Rekayasa Perangkat Lunak	Beli	Tersedia