Title: Formal Methods for Executable Software Models
Subjects: Computer software, development, System design, Software engineering, Computer science, Information theory, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Theory of Computation