Detail publikace
Towards Computer-Aided Quantitative Synthesis
ČEŠKA Milan. Towards Computer-Aided Quantitative Synthesis. Brno: Fakulta informačních technologií VUT v Brně, 2020.
Typ
habilitace
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Rok
2020
Strany
260
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
Soubory