*Result*: Software engineering
*Title*:
Software engineering / D. Bjørner
*Part of a work*:
3. Domains, requirements, and software design
*Author/editor-in-chief*:
*Publication*:
Berlin [u.a.] : Springer, 2006
*Physical description scale*:
XXX, 766 S. : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
*Subject Added Keywords*:
*ISBN*:
3540211519 ; 9783540211518