Deskripsi
Pada mata kuliah ini mahasiswa akan diperkenalkan paradigma formal pada analisis, perancangan, dan pengujian perangkat lunak serta penerapannya pada kondisi pengembangan yang kritis.
Program Studi S1 Rekayasa Perangkat Lunak merupakan bagian dari Telkom University Purwokerto, kampus teknologi yang berfokus pada pengembangan talenta digital masa depan.
