> Mehrbändiges Werk
-
Software engineering 2 Specification of systems and languages : with 27 tabl. / D. Bjørner Dines Bjørner
Berlin; Heidelberg [u.a.]: Springer, 2006
-
Software engineering 3 Domains, requirements, and software design / D. Bjørner Dines Bjørner
Berlin; Heidelberg [u.a.]: Springer, 2006
-
Software engineering 1 Abstraction and modelling / D. Bjørner Dines Bjørner
Berlin; Heidelberg [u.a.]: Springer, 2006