TY  - BOOK
AU  - Gannon,John D.
AU  - Purtilo,James M.
AU  - Zelkowitz,Marvin V.
TI  -  Software specification : :  a comparison of formal methods
SN  - 1567500331
AV  - QA76.758 G36 1994
PY  - 1994///
CY  - Norwood, NJ.
PB  - Ablex Pu.
KW  - lemb
KW  - Ingeniería de software
KW  - Software para computador
N1  - Bibliografía : p. 237-242; Incluye índice
ER  -