Systematic software development using VDM / Cliff B. Jones
Material type: TextSeries: Prentice Hall international series in computer sciencePublication details: New York: Prentice Hall, 1990Edition: 2nd edDescription: xiv, 333 p. : ill. ; 24 cmISBN:- 0-13-880733-7
- QA 76.76 .J66 1990
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection General Collection | Non-fiction | QA76.76 .J66 1990 (Browse shelf(Opens below)) | C.1 | Available | 13131 |
Browsing Informatics and Virtual Education Library Collection shelves, Shelving location: General Collection, Collection: Non-fiction Close shelf browser (Hides shelf browser)
QA 76.76 J38D45c 2002 Jav program : how to program 7th edition / | QA 76.76 .J46 1995 Software quality management and ISO 9001 : how to make them work for you / | QA 76.76 .J46 2001 Building Kylix applications / | QA76.76 .J66 1990 Systematic software development using VDM / | QA 76.76 .J66 1991 Applied software measurement : assuring productivity and quality / | QA 76.76 .J66 1996 Patterns of software system failure and success / | QA 76.76 .J66 1998 The year 2000 software problem : quantifying the costs and assessing the consequences / |
Includes bibliographical references (p. 321-322) and indexes.
There are no comments on this title.
Log in to your account to post a comment.