Research Catalog
Software prototyping, formal methods, and VDM
- Title
- Software prototyping, formal methods, and VDM / Sharam Hekmatpour and Darrel Ince.
- Author
- Hekmatpour, Sharam, 1961-
- Publication
- Reading, MA : Addison-Wesley, 1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.76.D47 H45 1988 | Off-site |
Holdings
Details
- Additional Authors
- Ince, D. (Darrel)
- Description
- x, 222 pages : illustrations; 24 cm.
- Series Statement
- International computer science series
- Uniform Title
- International computer science series.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 138-153.
- ISBN
- 020117572X
- LCCN
- 88019400
- OCLC
- 508010119
- ocn508010119
- Owning Institutions
- Columbia University Libraries