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

Studijní systém (EDISON)

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