Items where Author is "Rohim, Bintang Nur"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Rohim, Bintang Nur (2025) Pemodelan dan Verifikasi Formal Pergerakan Return Saham Menggunakan Rantai Markov Waktu Diskrit dan Probabilistic Computation Tree Logic. Other thesis, Institut Teknologi Sepuluh Nopember.