Programming Languages and Systems
Jacques Garrigue
Programming Languages and Systems - Springer 2014 - Lecture Notes in Computer Science .
9783319127361
Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Programming Languages and Systems - Springer 2014 - Lecture Notes in Computer Science .
9783319127361
Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages