TY  - BOOK
AU  - Hekmatpour,Sharam
AU  - Ince,D.
TI  - Software prototyping, formal methods, and VDM
SN  - 020117572X
AV  - QA 76.76.D47 H45 1988
U1  - 005.1/1 19
PY  - 1988///
CY  - Wokingham, Eng, Reading, MA
PB  - Addison-Wesley
KW  - Computer software
KW  - Development
KW  - Formal methods (Computer science)
KW  - Prototyping
N1  - Includes index; Bibliography: p. 138-153
ER  -