Software prototyping, formal methods, and VDM / Sharam Hekmatpour, Darrel Ince.
By: Hekmatpour, Sharam
.
Contributor(s): Ince, D. (Darrel)
.
Material type: 



Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Library Collection of Informatics and Virtual Education General Collection | QA76.76.D47 H45 1988 (Browse shelf) | Available | 2831 |
Includes index.
Bibliography: p. 138-153.
There are no comments for this item.