Recent Trends in Algebraic Development Techniques
- 2005
978-3-540-31959-7
Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Software Engineering/Programming and Operating Systems Symbolic and Algebraic Manipulation Computer Science