Practical Formal Methods with VDM
By: Andrews, Derek | Ince, Darrel.
Material type: BookPublisher: London McGraw-Hill Book Company 1991Description: p.450.ISBN: 9780077072148.Subject(s): Computer Software | Data RefinementDDC classification: 621.3819642 A566PItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
SC/ST Books | CENTRAL LIBRARY | 621.3819642 A566P (Browse shelf) | Available | SW1490 |
There are no comments for this item.