Library Section
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol | UPT Perpustakaan UHAMKA
Informasi dan layanan perpustakaan dalam tampilan yang lebih bersih dan modern.
Smart Search
Cari koleksi dengan cepat sesuai kebutuhan Anda.Pencarian Spesifik
Sesuaikan filter untuk hasil lebih presisi.
Belum ada riwayat. Mulai ketik untuk menyimpan pencarian Anda.
Ketersediaan
Copy Status
Fakultas Teknologi Industri dan Informatika
005.74 PRO
:
ft.14.1414
Tersedia
Highlights
Informasi Detail
- Judul Seri
- -
- Penerbit
- Depok : Fakultas ilmu komputer UI., 2007
- Deskripsi Fisik
- xiv,188.:ill;22cm
- Bahasa
- Indonesia
- Tipe Isi
- -
- Tipe Media
- -
- Tipe Pembawa
- -
- Tipe Koleksi
- Buku Teks
- Edisi
- -
- Subjek
-
- Info Detail Spesifik
- baik
- Pernyataan Tanggungjawab
- -
Explore more
Versi lain/terkait
Tidak tersedia versi lain
Digital
Lampiran Berkas
Tidak Ada Data
Community
