Pokročilé metody syntézy pravděpodobnostních programů

Pokročilé metody syntézy pravděpodobnostních programů

Autor práce

Šimon Stupinský
Vysoké učení technické v Brně, Fakulta informačních technologií

Vedoucí práce

Doc. Milan Češka

Ročník

2021

Sdílet tuto práci