cover
Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol
Heru,Suhartanto

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.00146 detik untuk selesai
Saran
image
Kertas Kerja Perorangan (KKP) : Rencana kerja peningkatan kinerja database online dalam penyajian data kelompok BKB pada Seksi PKK-PKLK di BKKBN Provinsi Nusa Tenggara Barat
Sanusi
image
PEDOMAN PENGELOLAAN KEUANGAN KERJASAMA LUAR NEGERI DI LINGKUNGAN BKKBN
BKKBN
image
Family caregivers and dependent elderly : minimizing stress and maximizing independence/ Dianne Springer; Timothy H. Brubaker
Springer, Dianne
image
Pedoman Materi KIE Keluarga Berencana Bagi Penyuluh KB
BKKBN
image
KONVENSI INTERNATIONAL TENTANG PENYEDERHANAAN DAN PENYELARASAN PROSEDUR PABEAN
DEPARTEMEN KEUANGAN RI