Formal methods fact file : VDM and Z Harry, Andrew
Material type:
TextPublication details: 1996Description: 386 pISBN: - 0-471-94006-2
- 005.1 HAR-F
Books
| Current library | Call number | Status | Barcode | |
|---|---|---|---|---|
| UMT Main Campus | CS_ARC 005.1 HAR-F (Browse shelf(Opens below)) | Available | 15763 |
Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| CS_ARC 005.1 GOD-D Database for software engineering | CS_ARC 005.1 GOL-E Efficient algorithms for listing combinatorial structures | CS_ARC 005.1 GRA-B The benchmark book | CS_ARC 005.1 HAR-F Formal methods fact file : VDM and Z | CS_ARC 005.1 JAC-S Software reuse: | CS_ARC 005.1 JAR-S Symantec visual cafe sourcebook [+CD] | CS_ARC 005.1 KNU-A Fundamental algorithms |
EN
There are no comments on this title.
Log in to your account to post a comment.