:: UI - Skripsi Membership :: Kembali

UI - Skripsi Membership :: Kembali

Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis

Eva Magdalena M.; I.S.W.B. Prasetya, supervisor (Fakultas Ilmu Komputer Universitas Indonesia, 1997)

 Metadata

No. Panggil : S26968
Entri utama-Nama orang :
Entri tambahan-Nama orang :
Subjek :
Penerbitan : Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
Program Studi :
Bahasa : ind
Sumber Pengatalogan :
Tipe Konten :
Tipe Media :
Tipe Carrier :
Deskripsi Fisik : xii, 133 hlm. ; 28 cm. + Lamp.
Naskah Ringkas :
Lembaga Pemilik : Universitas Indonesia
Lokasi : Perpustakaan UI, Lantai 3
  • Ketersediaan
  • Ulasan
No. Panggil No. Barkod Ketersediaan
S26968 14-23-71568899 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20327065