Software engineering [Vol 1-3] - Bjorner, D. (Springer-Verlag Berlin, 2006)
Contents : v. 1. Abstraction and modelling . - v. 2. Specification of systems and languages .- v. 3. Domains, requirements, and software design
Keywords: Software Engineering; Computer Software -- Development