*Result*: Software engineering
*Title*:
Software engineering / D. Bjørner
*Part of a work*:
2. Specification of systems and languages
*Author/editor-in-chief*:
*Publication*:
Berlin [u.a.] : Springer, 2006
*Physical description scale*:
XXIV, 777 S. : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540211500 ; 9783540211501