Software prototyping, format methods and VDM

Bibliographic Details
Main Authors: Hekmatpour, Sharam , 1961- (Author), Ince, Darrel (Author)
Format: Book
Published: Wokingham, England : Addison-Wesley , c1988
Series:International computer science series
Subjects:
Description
Physical Description:222 p. ; ; 24 cm.
Bibliography:Includes bibliography (p. 138-153) and index
ISBN:020117572X