TY  - BOOK
AU  - Backhouse,Roland Carl
TI  - Program construction: calculating implementations from specifications 
SN  - 0470848820 (rustica : papel alcalino)
AV  - QA76.6 B33193
U1  - 005.1 21
PY  - 2003///
CY  - Chichester, West Sussex, England
PB  - J. Wiley
KW  - Programación de computadoras
ER  -