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 : "Puspa, Carroline D."
Permintaan membutuhkan 0.10882 detik untuk selesai
XML ResultJSON Result

Informasi


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