Items where Author is "Iqbal, Ikhwan Mohammad"
Group by: Item Type | No Grouping
Number of items: 1.
Iqbal, Ikhwan Mohammad (2016) Verifikasi Formal Desain Sistem Transaksi ATM (Automated Teller Machine) Menggunakan Spin (Simple Promela Interpreter). Undergraduate thesis, Institut Teknologi Sepuluh Nopember.