TY  - BOOK
T1  - Program construction : calculating implementations from specifications
A1  - Backhouse, Roland
LA  - English
PP  - West Sussex
PB  - John Wiley and Sons
YR  - 2003
ED  - 1st ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.56564
OP  - 340
SN  - 9780470848821
KW  - LÓGICA COMPUTACIONAL
KW  - ALGORITMOS
ER  -