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: Subjek : "PROGRAMS COMPUTER"
Permintaan membutuhkan 0.00214 detik untuk selesai
Saran
image
Sociology acritical approachto power conflict, and change/J. Victor Baldridge
Baldridge, J. Sictor
image
PETUNJUK TEHNIS GERAKAN JPKM DI MAGETAN
PEMERINTAH KABUPATEN DAERAH TINGKAT II MAGETAN
image
PETA DAN ANALISIS PERSEBARAN KELUARGA PRA SEJAHTERA DAN KELUARGA SEJAHTERA I ALASAN EKONOMI DI INDONESIA APRIL 1999
BKKBN
image
Comparison of three acceptance strategies: a progress report
Robert G. Potter, Frances E. Kobrin, and Raymond L. Langsten
image
PERATURAN KEPALA BADAN KOORDINASI KELUARGA BERENCANA NASIONAL NOMOR : 273/HK.010/G3/2009 TENTANG PETUNJUK PELAKSANAAN PELATIHAN PENGEMBANGAN POTENSI DIRI PEREMPUAN
BKKBN