Gaya APA
Heru,Suhartanto. (2007).
Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol .
Jakarta:
Lembaga Penerbit FEUI.
Gaya Chicago
Heru,Suhartanto.
Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol.
Jakarta:
Lembaga Penerbit FEUI,
2007.
.
Gaya MLA
Heru,Suhartanto.
Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol.
Jakarta:
Lembaga Penerbit FEUI,
2007.
.
Gaya Turabian
Heru,Suhartanto.
Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol.
Jakarta:
Lembaga Penerbit FEUI,
2007.
.