Items where Author is "Iqbal, Ikhwan Mohammad"

Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.

Thesis

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 Apr 24 21:10:49 2024 UTC.