Software engineering mathematics : formal methods demystified
By: Loomes, Martin.
Contributor(s): Woodcock, Jim.
Material type:
BookSeries: SEI series in software engineering.Publisher: London: Taylor & Francis, 1988Description: 291 p.; ill., index: 24 cm.ISBN: 0748408134 .Subject(s): Computer systems Programs Mathematics | Electronic data processing -- Mathematics | Electronic digital computers -- Programming | Software engineering -- MathematicsDDC classification: 005.13119
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.13119 WOO (Browse shelf) | Available | 014657 |
There are no comments for this item.