TY  - BOOK
AU  - Bjorner,Dines
TI  - Software engineering  2
SN  - 9788181287854
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-Specification-Languages-Theoretical/dp/3540211500/ref=sr_1_1?s=books&ie=UTF8&qid=1415963349&sr=1-1&keywords=3540211500
ER  -