Items where Author is "Salim, Abdullah Harits"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.

Thesis

Salim, Abdullah Harits (2026) Pemodelan Dan Verifikasi Formal Perubahan Suhu Menggunakan Interval Markov Chain Dan Probabilistic Computation Tree Logic. Other thesis, Insitut Teknologi Sepuluh Nopember.

This list was generated on Thu Apr 2 08:06:00 2026 UTC.