*Result*: Software engineering
*Title*:
Software engineering / D. Bjørner
*Part of a work*:
1. Abstraction and modelling
*Author/editor-in-chief*:
*Publication*:
Berlin [u.a.] : Springer, 2006
*Physical description scale*:
XXXIX, 711 S. : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
*RVK-Notation*:
*ISBN*:
3540211497 ; 9783540211495