Princípy duality medzi konštruovaním a správaním programov - Mihályi, Daniel; Novitzká, Valerie ([Košice] : [Equlibria], 2010)
Slovník
Zoznam symblov
Bibliografia: s. 143-152
Publikácia je určená pre širokú komunit. výskumných a pedagog. pracovníkov, ďalej ako študij. mat. pre študentov bakalár., inžinier., doktorandského štúdia a všetkýmh ostatným, ktorí sa venujú otázkam algebier, koalgebier, teórie kategórií typov a zdroj.-orient. modálnych logík
Keywords: softvérové inžinierstvo; konštruovanie; matematická logika; informatika; logické systémy; štúdie