Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
([Publisher not identified]
, [Date of publication not identified]
)
|
| Sumber Pengatalogan : | |
| ISSN : | |
| Majalah/Jurnal : | Jurnal Ilmu Komputer dan Teknologi Informasi 2 (1) Mei 2002 : 18 - 24 |
| Volume : | |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Akses Elektronik : | |
| Institusi Pemilik : | |
| Lokasi : |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 69615 |
