Image from Amazon.com
Formal specification and software development
Material type:
TextSeries: Printice-Hall International series in computer sciencePublication details: New Jersy Prentice-hall international 1982Description: x,501pISBN: - 0133290034
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library | 004.414.38 BJO (Browse shelf(Opens below)) | Available | 00033853 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.414.28 ALA Specification of software systems | 004.414.3 LAU Software requirements: styles and techniques | 004.414.38 AND Software requirements,specification and testing | 004.414.38 BJO Formal specification and software development | 004.414.38 KAS Generating software from specifications | 004.415 SAN Global software development handbook | 004.415 TIN Systems development: handbook |
There are no comments on this title.