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 A566P
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
SC/ST Books
|
CENTRAL LIBRARY | 621.3819642 A566P (Browse shelf) | Available | SW1490 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
|
|
|
|
|
|
||
| 621.3819598 J11F Fundamentals of Digital Image Processing | 621.3819598 J11F Fundamentals of Digital Image Processing | 621.3819642 Microprocessors and Interfacing Programming and Hardware | 621.3819642 A566P Practical Formal Methods with VDM | 621.3819642 A77C Computer Science With C++ | 621.3819642 B1710 Object-Oriented Programming With C++ | 621.3819642 B171O Object-Oriented Programming with C++ |
There are no comments for this item.