| ID Buku | RYL/ PVP/ 004.015 Suh p /0830 |
| Judul Buku | PROSES VERIFIKASI PIRANTI LUNAK BASIS DATA dengan LINGU DAN THEREM PROVER HOL |
| Kategori | |
| Penulis Utama | Heru Suhartanto |
| Penerbit | Fakultas ILmu Komputer UI |
| Tahun Terbit | 2007 |
| Edisi | 1 |
| ISBN | 978-979-1421-02-7 |
| Bahasa | Indonesia |
| Deskripsi Fisik | II-XIV, 1-188 hlm |
| Jumlah Total Eksemplar | 2 Eksemplar |
| Stok Tersedia | 2 Eksemplar |
| Sumber Buku | Sumbangan |
| Program Studi | Sistem Informasi |
-
| No. Barcode / ID | Status | Lokasi Rak |
| RYL/ PVP/ 004.015 Suh p /0830 | Tersedia | (Lantai 4 - Ruang Perpustakaan) |
Today : 0
Yesterday : 0
Total Visitors : 20,877
