Systematic software development using VDM / Cliff B. Jones.
Material type: TextSeries: Prentice-Hall International series in computer sciencePublication details: Englewood Cliffs, N.J. : Prentice Hall International, 1986Description: xvi, 300 p. : ill. ; 24 cmISBN:- 0138807256 :
- 0138807175 (pbk.)
- 005.1 20
- QA76.76.D47 J66 1986
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Tan Tao University General Stacks | Reference | 005.1 (Browse shelf(Opens below)) | Available | F-2024-0031 |
Includes index.
Bibliography: p. 294-296.
There are no comments on this title.