TY  - GEN
AU  - Backhouse, Roland C.,
TI  - Program construction: calculating implementations from specifications 
SN  - 0470848820 (Paper : alk. paper)
AV  - QA76.6 .B29 2003
PY  - 2003///
CY  - Chichester, West Sussex, England
PB  - Wiley
KW  - Bilgisayar programlama
KW  - Computer programming
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/bios/wiley045/2003006224.html
ER  -