Items where Author is "Iqbal, Ikhwan Mohammad"

[up] Up a level
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.

This list was generated on Wed Jan 14 16:52:38 2026 UTC.