Přeskočit na hlavní obsah
Přeskočit hlavičku

Interaktivní a automatizované dokazování korektnosti programů

Studijní systém (EDISON)

Ostatní

Studijní materiál Od ak. roku Jazyk Typ souboru Velikost
Interaktivní a automatizované dokazování korektnosti algoritmů   2023/2024 česky pdf 55 KiB