Paralelní syntéza parametrů z formulí hybridní logiky HUCTL

Autor práce

Samuel Pastva
Masarykova univerzita v Brně, Fakulta informatiky, Fakulta informatiky

Vedúci práce

prof. RNDr. Luboš Brim, CSc.

O projekte

Leták Diplomová práca

Ročník

Zdieľať túto prácu