Title: Modelling Foundations and Applications
Subjects: Logic design, Information Systems, Management of Computing and Information Systems, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs