Mathematical Foundations of Computer Science 1998

• Authors: BRIM Luboš; GRUSKA Jozef; ZLATUŠKA Jiří
• Year of publication: 1998
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing