ITS Repository

Login

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 Tue Jul 5 15:52:06 2022 WIB.

ITS Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.