DaftarIsitemplate

Call Number

SK-0382

Title

Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto

Author

Octavianus Adriato;

Publisher

Depok: Fasilkom UI, 1998

Subject

Location

FASILKOM-UI;