TY  - BOOK
AU  - Bjørner,D.
TI  - Software engineering
SN  - 3540211497
AV  - QA 76.758 B57.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 e índice
ER  -