Software abstractions : logic, language and analysis
By: Jackson, Daniel.
Material type:
BookPublisher: Cambridge: MIT Press, 2006Description: xvi, 350 p.; ill.: 23 cm.ISBN: 0262101149 .Subject(s): Computer software Development | Model diagrams | Unifief modeling language | Vienna development methodDDC classification: 005.1
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1 JAC (Browse shelf) | Available | 023826 |
There are no comments for this item.