TY  - BOOK
AU  - Bjorner,Dines
TI  - Software engineering  1
SN  - 3540211497 (v. 1)
AV  - QA76.758 .B56 2006
U1  - 005.1 BJO 22
PY  - 2006///-
CY  - Berlin, New York
PB  - Springer
KW  - Software engineering
KW  - Computer programming
KW  - Computer, MIS
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-Abstraction-Modelling-Theoretical/dp/3540211497/ref=sr_1_1?s=books&ie=UTF8&qid=1415964102&sr=1-1&keywords=3540211497
ER  -