Result: Formal engineering for industrial software development

*Title*:

Formal engineering for industrial software development : using the SOFL method ; with 30 tables / Shaoying Liu

*Author/editor-in-chief*:

Liu, Shaoying

*Publication*:

Berlin [u.a.] : Springer, 2004

*Physical description scale*:

XXII, 408 S. : graph. Darst. ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*Notes*:

Literaturverz. S. [383] - 389

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540206027

*Result*: Formal engineering for industrial software development