Detail Cantuman
Advanced Search
Text
Proses Verifikasi Piranti Lunak Basis Data dengan Lingu dan Theorem Prover Hol
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
| 0464 | 004 HER p | My Library (000) | Tersedia |
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
004 HER p
|
| Penerbit | Fakultas Ilmu Komputer UI : Jakarta., 2007 |
| Deskripsi Fisik |
xiv + 188 hlm.; 22 cm
|
| Bahasa |
Indonesia
|
| ISBN/ISSN |
979-142-102-1
|
| Klasifikasi |
004
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
-
|
| Subyek | |
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain