Recent Trends in Algebraic Development Techniques
- Springer 2017
- Lecture Notes in Computer Science .
9783319720449
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Mathematical Logic and Foundations