-
RecordNumber
23324
-
Author
Hekmatpour, Sharam, 1961-
-
Title
Software prototyping, formal methods and VDM
-
Author Statement
Sharam Hekmatpour [and] Darrel Ince
-
Publication
Addison--Wesley
-
Publication Year
1988
-
Collation
X, 222P., illus., tables
-
Series
International computer science series
-
Notes
Bibliography: P. 138-153 , 020117572X
-
Subject
Computer software-Development
-
ADDED ENTRIES
Ince, Darrel ,
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.D47H45
-
Link To Document :
