Skip to main content
Skip header
Close

Searching

Interactive and Automated Proving of Program Correctness

Studijní systém (EDISON)

Others

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


zpět na vyhledávání