TY  - BOOK
AU  - Turski,Wladyslaw M.
AU  - Maibaum,Thomas S.E.
TI  - The specification of computer programs 
SN  - 0201142260
AV  - QA76.76.D47 T87 1987
PY  - 1987///
CY  - Wokingham, England : 
PB  - Addison-Wesley, 
KW  - lemb
KW  - Software para computador
KW  - Desarrollo
KW  -  Programación de computadores
N1  - Incluye apéndice, bibliografía e índice
ER  -