Normal view
MARC view
Computer software Development. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: Hekmatpour, Sharam, 1961- 3595, Software prototyping, formal methods, and VDM /, c1988.