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 Fri Apr 19 00:55:41 2024 UTC.