Research Catalog
Systematic software development using VDM
- Title
- Systematic software development using VDM / Cliff B. Jones.
- Author
- Jones, C. B. (Cliff B.), 1944-
- Publication
- Englewood Cliffs, NJ : Prentice Hall International, 1986.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 87-1873 | Offsite |
Details
- Description
- xvi, 300 p. : ill.; 25 cm.
- Alternative Title
- VDM.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 294-296.
- Call Number
- JSE 87-1873
- ISBN
- 0138807256
- LCCN
- 85031178
- OCLC
- 13063727
- NYPG86-B62715
- Author
- Jones, C. B. (Cliff B.), 1944-
- Title
- Systematic software development using VDM / Cliff B. Jones.
- Imprint
- Englewood Cliffs, NJ : Prentice Hall International, 1986.
- Bibliography
- Bibliography: p. 294-296.
- Added Title
- VDM.
- Research Call Number
- JSE 87-1873