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 |
Browsing DAIICT Shelves Close shelf browser
| 005.131 TER Term rewriting systems | 005.131 WEL Concurrent and real-time programming in Java | 005.131 WIN Formal semantics of programming languages | 005.13119 WOO Software engineering mathematics : formal methods demystified | 005.133. FEU C puzzle book | 005.133 ADA Professional EJB | 005.133 AGA Hands-on data structures and algorithms with Python : write complex and powerful using the latest features of Python 3.7 |
There are no comments for this item.