TY  - BOOK
AU  - Bjorner, D.
TI  - Software engineering [Vol 1-3]
T2  - / edited by W. Brauer, G. Rosenberg and A. Salomaa
SN  - 3540211497(v.1)
U1  - 005.115 
PY  - 2006///
CY  - Berlin
PB  - Springer-Verlag
KW  - Software Engineering
KW  - Computer Software -- Development
N1  - Contents : v. 1. Abstraction and modelling . - v. 2. Specification of systems and languages .- v. 3. Domains, requirements, and software design
ER  -