Generative and Transformational Techniques in Software Engineering III

Logic design Computer science Software engineering Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs