Systematic software development using VDM / Cliff B. Jones
By: Jones, Cliff B.
Publisher: New york Prentice hall International (UK) Ltd n.dEdition: 2nd ed.Description: xiv, 333 p.ISBN: 9780138807337.Subject(s): Computer software - Development![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Engineering Library General Section | S | 005 JON (Browse shelf) | Available | 283555 |
Includes bibliography and index.
There are no comments for this item.