Title: Foundations of Software Science and Computational Structures
Subjects: Logic design, Computer science, Software engineering, System analysis, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Computation by Abstract Devices, Mathematical Logic and Formal Languages