Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover HOL

Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover HOL


Hasil Pencarian


Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "Prasetya, I.S.W.B."
Permintaan membutuhkan 0.07904 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog