TY  - BOOK
AU  - Nissanke,Nimal
TI  - Formal specification: techniques and applications 
SN  - 1852330023 (papel alcalino)
AV  - QA76.9F67 N57
U1  - 005.13/1 21
PY  - 1999///
CY  - New York
PB  - Springer Verlag
KW  - Métodos formales (Computación)
KW  - Software de aplicación
KW  - Desarrollo
N1  - Incluye referencias bibliograficas e indice
ER  -