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 : "Azurat, Ade"
Permintaan membutuhkan 0.08104 detik untuk selesai
XML ResultJSON Result

Informasi


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