Practical Formal Methods with VDM
By: Andrews, Derek | Ince, Darrel.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
CENTRAL LIBRARY | 621.3819642 A566P (Browse shelf) | Available | SW1490 |
There are no comments for this item.