TY  - BOOK
AU  - Bjørner,D.
TI  - Software engineering
SN  - 3540211500 :
AV  - QA 76.758 B56.2006
U1  - 005.1 22
PY  - 2006///
CY  - Berlin
PB  - Springer-Verlag
KW  - Ingeniería de software
KW  - Ingeniería del software
KW  - Computer programming
KW  - Programación de computadoras
N1  - Incluye referencias bibliográficas (p. [751]-777) e índices
ER  -