Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
oleh Heru Suhartanto [and others] (Fakultas Ilmu Komputer Universitas Indonesia, 2007)
|
| Jenis Koleksi : | Buku Teks SO |
| No. Panggil : | 005.13 PRO |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2007 |
| Sumber Pengatalogan : | LibUI ind rda |
| ISBN : | 9789791421027 |
| Tipe Konten : | text |
| Tipe Media : | unmediated |
| Tipe Carrier : | volume |
| Edisi : | |
| Deskripsi Fisik : | xiv, 187 pages : illustrations ; 22 cm |
| Catatan Bibliografi : | |
| Catatan Seri : | |
| Catatan Umum : | |
| Catatan Versi Asli : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 2 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| 005.13 PRO | 01-13-018439 | TERSEDIA |
| 005.13 PRO | 01-13-018440 | TERSEDIA |
| 005.13 PRO | 01-13-018441 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 121010 |
