Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige
Modelling -- Foundation and Applications
- 2011
978-3-642-21470-7
Computer Communication Networks Logics and Meanings of Programs Management of Computing and Information Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Computer Science