Heru Suhartanto

Heru Suhartanto

Indonesia

Buku dari Heru Suhartanto

Proses Verifikasi Piranti Lunak Basis Data dengan Lingu dan Theorem Prover Hol

Proses Verifikasi Piranti Lunak Basis Data dengan Lingu dan Theorem Prover Hol

Rp3.360