Foundations of Software Science and Computational Structures
- 2012
978-3-642-28729-9
Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Computer Science