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.

This list was generated on Thu Feb 26 09:08:54 2026 UTC.