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 16 dari pencarian Anda melalui kata kunci: Subject : "Software"
Permintaan membutuhkan 0.06335 detik untuk selesai
XML ResultJSON Result

Informasi


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