Software prototyping, formal methods, and VDM / Sharam Hekmatpour, Darrel Ince.
Material type: TextSeries: International computer science seriesPublication details: Wokingham, Eng ; Reading, MA : Addison-Wesley, c1988.Description: x, 222 p. : 24 cmISBN:- 020117572X
- 005.1/1 19
- QA 76.76.D47 H45 1988
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection General Collection | QA76.76.D47 H45 1988 (Browse shelf(Opens below)) | Available | 2831 |
Includes index.
Bibliography: p. 138-153.
There are no comments on this title.
Log in to your account to post a comment.