Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol
Octovianus Andriato;
I.S.W.B. Prasetya, supervisor
(Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998)
|
| Jenis Koleksi : | UI - Skripsi Membership |
| No. Panggil : | S26954 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Program Studi : | |
| Subjek : | |
| Penerbitan : | Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998 |
| Bahasa : | ind |
| Sumber Pengatalogan : | |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Deskripsi Fisik : | vi, 76 hlm. ; 28 cm. + Lamp. |
| Naskah Ringkas : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| S26954 | 14-22-07758761 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20327019 |
