Items where Author is "Fadlina, Agfa Syalsa"
Group by: Item Type | No Grouping
Number of items: 1.
Fadlina, Agfa Syalsa (2024) Pemodelan dan Verifikasi Formal Pergerakan Harga Saham Menggunakan Rantai Markov Waktu Diskrit dan Probabilistic Computation Tree Logic. Other thesis, Institut Teknologi Sepuluh Nopember.