TY  - BOOK
AU  - Bjorner,Dines
TI  - Software engineering 3
SN  - 9788181287861
AV  - QA76.758 .B56 2006
U1  - 005.1 BJO 22
PY  - 2006///-
CY  - Berlin, New York
PB  - Springer
KW  - Software engineering
KW  - Computer, MIS
KW  - Computer programming
N1  - Includes bibliographical references and indexes; 1. Abstraction and modelling -- 2. Specification of systems and languages --  3. Domains, requirements, and software design
UR  - http://www.amazon.com/Software-Engineering-Requirements-Theoretical-Computer/dp/3540211519/ref=sr_1_1?s=books&ie=UTF8&qid=1415963810&sr=1-1&keywords=3540211519
ER  -