TY  - BOOK
AU  - Cooke,John
TI  - Constructing correct software
T2  - Formal approaches to computing and information technology
SN  - 1852338202 (papel alcalino)
AV  - QA76.76D47 C66 2005
U1  - 005.1/4/0151 21
PY  - 2005///
CY  - London
PB  - Springer Verlag
KW  - Software para computadora
KW  - Desarrollo
ER  -