Summary STA2005S: Model Checking
A detailed and understandable summary of the model checking chapter for STA2005S. High quality pdf for printing. Contains examples for each concept. Clearly explained so you can go straight into examples, instead of trying to understand the complicated lecture notes. Perfect for exam revision
Escuela, estudio y materia
- Institución
- University of Cape Town (UCT)
- Grado
- STA2005S (STA2005S)
Información del documento
- Subido en
- 8 de febrero de 2022
- Número de páginas
- 11
- Escrito en
- 2021/2022
- Tipo
- Resumen
Temas
-
sta2005s
-
actuarial science
-
uct
Documento también disponible en un lote