Notes de cours
Lecture notes Formal Approaches to Software Engineering (SET10112/SET10412)
- Cours
- Établissement
Lecture notes Formal Approaches to Software Engineering (SET10112/SET10412) Formal Methods Formal Specification Languages (e.g., Z, B, VDM, Alloy, TLA+) Model Checking Theorem Proving Software Verification and Validation Correctness by Construction Design by Contract Abstract Data Types T...
[Montrer plus]