Systematic software development using VDM / Cliff B. Jones.
Material type: TextSeries: Prentice Hall international series in computer sciencePublication details: New York : Prentice Hall, 1990.Edition: 2nd edDescription: xiv, 333 p. : ill. ; 24 cmISBN:- 0138807337 :
- 005.1 20
- QA 76.76.D47 J66 1989
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection General Collection | QA76.76.D47 J66 1989 (Browse shelf(Opens below)) | Available | 13131 |
Includes bibliographical references (p. 321-322) and indexes.
There are no comments on this title.
Log in to your account to post a comment.