| Study material | From academic year | Language | File type | Size |
|---|---|---|---|---|
| Interaktivní a automatizované dokazování korektnosti algoritmů | 2023/2024 | česky | 55 KiB |
| Study material | From academic year | Language | File type | Size |
|---|---|---|---|---|
| Interaktivní a automatizované dokazování korektnosti algoritmů | 2023/2024 | česky | 55 KiB |