Mathematical Foundations of Computer Science 1998

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRIM Luboš GRUSKA Jozef ZLATUŠKA Jiří
Rok publikování	1998
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů