TY  - BOOK
AU  - Gehani,Narain
AU  -  McGettrick,Andrew D.
TI  - Software specification techniques 
SN  - 0201142309
AV  - QA76.6 S64 1986
PY  - 1986///
CY  - Wokingham, England : 
PB  - Addison-Wesley,  
KW  - lemb
KW  - Programas para computadora
KW  - Discursos, ensayos, conferencias, etc
KW  - Especificaciones
N1  - Bibliografía : p. 455-477
ER  -