Introduction to VDM / Mark Woodman and Benedict Heal.
By: Woodman, Mark.
Contributor(s): Heal, Benedict.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
Matheson Library | Matheson Library | Main Collection | Main Collection | 005.12 W892 (Browse shelf) | 127 | 113971 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.12 K48 Object-oriented behavioral specifications / | 005.12 K95 Combinatorial algorithms / | 005.12 S681 Software engineering handbook / | 005.12 W892 Introduction to VDM / | 005.12028 B679e 1985 Essentials of flowcharting / | 005.13 Revised report on the algorithmic language ALGOL 68 / | 005.13 B171 Programming language essentials / |
There are no comments for this item.