Theoretical Aspects of Computing � ICTAC 2016
Augusto Sampaio, Farn Wang
Theoretical Aspects of Computing � ICTAC 2016 - Springer 2016 - Lecture Notes in Computer Science .
9783319467504
Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; Software Engineering; Mathematical Logic and Formal Languages
Theoretical Aspects of Computing � ICTAC 2016 - Springer 2016 - Lecture Notes in Computer Science .
9783319467504
Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; Software Engineering; Mathematical Logic and Formal Languages