Title: Modelling Computing Systems
Subjects: Logic design, Computer science, Computational complexity