Net-Centric Computing II
Týden 8 - Specification and Verification I
slides:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/slides/PA160_Specification_and_Verification.pdf
lecture:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_8_Spec_and_Verif_1_intro.m4v
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_8_Spec_and_Verif_2_MSC.m4v
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_8_Spec_and_Verif_3_SDL.m4v
interactive session:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_-_5th_Interactive_session.m4v