TY  - BOOK
AU  - Bjorner,D.
TI  - Software engineering 1: absractin and modelling
SN  - 3540211497
U1  - 005.1 22
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Software engineering
KW  - Abstraction
N1  - Includes bibliographical references and indexes
ER  -