Mathematical Foundations of Computer Science 1998

• Autoři: BRIM Luboš; GRUSKA Jozef; ZLATUŠKA Jiří
• Rok publikování: 1998
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky

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ů