Detail výsledku

Towards Computer-Aided Quantitative Synthesis

ČEŠKA, M. Towards Computer-Aided Quantitative Synthesis. Brno: Faculty of Information Technology BUT, 2020. 260 p.
Typ
habilitační práce
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D., UITS (FIT)
Rok
2020
Strany
260
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT175807,
  author="Milan {Češka}",
  title="Towards Computer-Aided Quantitative Synthesis",
  year="2020",
  pages="260",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/12551/"
}
Soubory
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru