cover
Proses verivikasi piranti lunak basis data dengan lingu dan theorem prover hol
Heru Suhartanto dkk

Edisi
-
ISBN/ISSN
978-979-1421-02-7
Deskripsi Fisik
xiii, 126 hlm.; 22 cm
Judul Seri
-
No. Panggil
005.13 HER p

Edisi
-
ISBN/ISSN
978-979-1421-02-7
Deskripsi Fisik
xiii, 126 hlm.; 22 cm
Judul Seri
-
No. Panggil
005.13 HER p

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Pengarang : "Heru Suhartanto dkk"
Permintaan membutuhkan 0.00074 detik untuk selesai
Saran
image
Pelaksanaan tanggung jawab Pembutan Akta Notaris Berdasrkan Undang-undang Nomor 2 Tahun 2014 Tentang Perubahan Atas Undang-Undang Nomor 30 Tahun 2004 tentang Jabatan Notaris Di Kota Pekanbaru
Ade Sartika
image
Riau Sebagai Pusat Bahasa Dan Kebudayaan Melayu
UU. Hamidy
image
Chip edisi buku khusus 85 tip & trik pda
A. Subandi
image
Pengantar ilmu sejarah: Sejarah Dalam Perspektif Pendidikan
Dr. IG Widja
image
METODOLOGI PENELITIAN KESEHATAN
Swarjana, I Ketut