Loomes, Martin
Software engineering mathematics : formal methods demystified
- London: Taylor & Francis, 1988
- 291 p.; ill., index: 24 cm.
- SEI series in software engineering .
0748408134 (pbk)
Computer systems Programs Mathematics
Electronic data processing -- Mathematics
Electronic digital computers -- Programming
Software engineering -- Mathematics
005.13119 / WOO