TY  - BOOK
AU  - Dijkstra,Edsger Wybe
TI  - Formal development of programs and proofs
T2  - The ut year of programming series
SN  - 0201172372
AV  - QA76.6 F67
PY  - 1990///
CY  - Reading, massachusetts
PB  - Addison-wesley
KW  - Procesamiento electrónico de datos
KW  - Programacion
KW  - Congresos
ER  -