Koleksi

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

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

Detail CantumanXML DetailCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "Azurat, Ade"
Permintaan membutuhkan 0.1369 detik untuk selesai
XML ResultJSON Result

Informasi

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