METODE FORMAL
0%
Previous
Course data
General
Welcome to the Formal Methods (in Software Engineering) Course
1. Formal Methods in Software Engineering Context - Part 1
2. Formal Methods in Software Engineering Context - Part 2
3. Formal Methods in Software Engineering Context
4. Propositional Logic
5. Propositional Logic
6. First-Order Logic
7. First-Order Logic
8. Formal Modelling - Part 1
Next
Side panel
English (en)
Bahasa Indonesia (id)
English (en)
Enter your search query
Log in
CRI3E2-30504
Home
Skip to main content
Course info
Home
Courses
FAKULTAS INFORMATIKA (FIF)
PRODI S1 REKAYASA PERANGKAT LUNAK (FIF)
CRI3E2-30504
Summary
METODE FORMAL
Teacher:
NUNGKI SELVIANDRO