DaftarIsitemplate

Call Number

SK-0690 (Softcopy SK-0171) Source code SK-0160

Title

Penerapan logika UNITY dalam sertifikasi perangkat lunak berbasis komponen dengan studi kasus aplikasi E-Voting/ Prastudy Mungkas Fauzi

Author

Prastudy Mungkas Fauzi;

Publisher

Depok: Fakultas Ilmu Komputer, 2007

Subject

Unity; Theorem proving, Automated

Location

FASILKOM-UI;