DaftarIsitemplate

Call Number

SK-0621(Softcopy SK-102) Source Code SK-89

Title

Proses verifikasi piranti lunak menggunakan lingu dan theorem prover hol pada studi kasus student entrance test/ Carroline D. Puspa

Author

Carroline D. Puspa;

Publisher

Depok: Fasilkom UI, 2006

Subject

Lingu

Location

FASILKOM-UI;