Software prototyping, formal methods, and VDM /

Bibliographic Details
Main Author:	Hekmatpour, Sharam, 1961-
Other Authors:	Ince, D. (Darrel)
Format:	Book
Language:	English
Published:	Workingham, Eng. : Reading, MA : Addison-Wesley, 1988.
Series:	International computer science series.
Subjects:	Computer software > Development.

Remote Storage