TY  - GEN
AU  - Bj²rner, D.,
TI  - Software engineering
T2  - Texts in theoretical computer science
SN  - 3540211519 (v. 3 : cloth)
AV  - QA76.758 .B56 2006
PY  - 2006///
CY  - Berlin, New York
PB  - Springer
KW  - Software engineering
KW  - Yazılım mühendisliği
KW  - Formal methods (Computer science)
KW  - Biçimsel metodlar (Bilgisayar bilimi)
N1  - Textbook for graduates; "With 151 Figures and 27 Tables."; Includes bibliographical references and index; 1; 2; 3; Abstraction and modelling --; Specification of systems and languages --; Domains, requirements, and software design
ER  -