IA159 Formal Verification Methods
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Verification Methods
Info
Období
jaro 2020


Kapitola obsahuje:
3
PDF
1
Studijní text
Učitel doporučuje studovat od 17. 2. 2020 do 15. 3. 2020.

Kapitola obsahuje:
1
PDF
1
Studijní text
Učitel doporučuje studovat od 16. 3. 2020 do 29. 3. 2020.
Kapitola obsahuje:
1
PDF
2
Video
1
Studijní text
Učitel doporučuje studovat od 30. 3. 2020 do 19. 4. 2020.
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 20. 4. 2020 do 26. 4. 2020.
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 27. 4. 2020 do 3. 5. 2020.
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 4. 5. 2020 do 10. 5. 2020.
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 11. 5. 2020 do 17. 5. 2020.

Předchozí