Grand Timely Topics in Software Engineering
- Springer 2017
- Lecture Notes in Computer Science .
9783319600741
Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Programming Techniques; Mathematical Logic and Formal Languages