Cover Image

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.
Description
Item Description:Includes index.
Physical Description:x, 222 pages : illustrations
Bibliography:Bibliography: pages 138-153.
ISBN:020117572X