Metode Formal dalam Rekayasa Perangkat Lunak - MCS

Mata Kuliah ini akan membahas tentang Metode Formal dalam Rekayasa Perangkat Lunak yang diselenggarakan di Program Studi Magister Ilmu Komputer pada semester Ganjil 2020/2021