Od dôkazov formálnych predpokladav k vykonateľným implementáciam

Autor práce

František Silváši

Vedúci práce

doc. Ing. Martin Tomášek, Ph.D.

O projekte

Ročník

2016

Zdieľať túto prácu