Normal view
MARC view
- Computer Science Logic and Foundations of Programming
Computer Science Logic and Foundations of Programming (Topical Term)
Machine generated authority record.
Work cat.: (JGU)2855151: Tools and Algorithms for the Construction and Analysis of Systems