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.00079 detik untuk selesai
Saran
image
SOCIO-DEMOGRAPHIC AND ECONOMIC FACTORS AFFECTING FERTILITY IN RURAL AND URBAN THAILAND
PICHIT PITAKTEPSOMBATI
image
HANDBOOK FOR FAMILY PLANNING OPERATIONS RESEARCH DESIGN
Andrew Fisher, John Laing, John Stoeckel
image
PROGRAM PENATARAN GRAFIKA
PUSAT GRAFIKA INDONESIA
image
Pengantar pelayanan dokter keluarga / Azrul Azwar
Azwar, Azrul
image
Memahami penggunaan ilmu ekonomi dalam manajemen rumah sakit
Trisnantoro, Laksono