TY  - BOOK
AU  - Harel,David
TI  - Algorithmics: the spirit of computing 
SN  - 0201504014
U1  - 005.1 20
PY  - 1992///
CY  - Harlow, Essex, England
PB  - Addison Wesley
KW  - unescot
KW  - ALGORITMO
KW  - LOGICA MATEMATICA
KW  - ORDENADOR
KW  - LENGUAJE DE PROGRAMACION
N1  - Incluye referencias bibliográficas (p. [433]-493), e índice
ER  -