Modelling systems : practical tools and techniques in software development
- 2nd ed.
- Cambridge: Cambridge University Press, 2009
- xvi, 288 p.; ill.: 26 cm.
9780521899116 (hbk)
Computer software Development Software engineering VDMTools Lite Large-scale modelling