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, c1986.Description: xvi, 300 p. : ill. ; 24 cmISBN: - 0138807256 :
- 0138807175 (pbk.)
- 005.1 20
No physical items for this record
Includes index.
Bibliography: p. 294-296.
There are no comments on this title.
Log in to your account to post a comment.