Specification case studies
Material type: TextPublication details: Prentice-Hall 1987Edition: Description: 332ISBN:- 0-13-826579-8
- 004.414.38HAY
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Department of Computer Science | 004.414.38HAY (Browse shelf(Opens below)) | Available | MCS00909 |
Browsing Department of Computer Science shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
004.414.38 Capacity Planning For Computer Systems | 004.414.38 BJO Formal specification and software development | 004.414.38 THA Software requrirements engineering | 004.414.38HAY Specification case studies | 004.415 Systematic software development using Vdm | 004.415 System Reliability:Concepts And Applications | 004.415 Software development using Eiffel: There can be life other than C++ |
There are no comments on this title.