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 Wed Nov 27 06:09:08 2024 UTC.