ZACHARIÁŠOVÁ, M. Metody akcelerace verifikace logických obvodů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .

Posudky

Posudek vedoucího

Kotásek, Zdeněk

Navrhovaná známka

Posudek oponenta

Dohnal, Jan

Navrhovaná známka

Steininger, Andreas

Navrhovaná známka

eVSKP id 99834