Meeting management system: analisis, desain, dan implementasi

Meeting management system: analisis, desain, dan implementasi

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 2 dari pencarian Anda melalui kata kunci: Author : "Suhartanto, Heru"
Permintaan membutuhkan 0.08399 detik untuk selesai
XML ResultJSON Result

Informasi


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