Mills, Bruce
Practical formal software engineering : wanting the software you get
- New York: Cambridge University Press, 2009
- xxxiii, 339 p.; ill.: 26 cm.
9780521879033 (hbk)
Software engineering
Fundamentals. Arithmetic
Algebra
Natural language
Digital geometry
005.1 / MIL