Items where Author is "Fadlina, Agfa Syalsa"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
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.