Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol
- Edisi
- -
- ISBN/ISSN
- 979-142-102-1
- Deskripsi Fisik
- xiv+187p.illus.;23 cm
- Judul Seri
- -
- No. Panggil
- 005.3 HER p
- Edisi
- -
- ISBN/ISSN
- 979-142-102-1
- Deskripsi Fisik
- xiv+187p.illus.;23 cm
- Judul Seri
- -
- No. Panggil
- 005.3 HER p
Hasil Pencarian
Ditemukan 1 dari pencarian Anda melalui kata kunci: Pengarang : "Heru,Suhartanto"
Permintaan membutuhkan 0.00124 detik untuk selesai
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah