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 Thu Sep 24 02:40:23 2026 UTC.