Formal methods for proving program correctness
Szerző
- Battyányi Péter
Terjedelem
- 250.000 leütés
Digitális elemek
- 300 kép
Tartalom
Rewriting systems; Functional programming and lambda calculus; Type theory; Type theory; Elements of domain theory and its applications in formal verifications; Parallel processes, concurrent systems; Miscellenaous topics.
Kurzus
PTI MSc: Programozáselmélet 2, INMV770-K6
Legutóbbi frissítés:
2023. 01. 26. 17:51