Result: Formal specification and software development

*Title*:

Formal specification and software development / Dines Bjørner and Cliff B. Jones

*Author/editor-in-chief*:

*Publication*:

Englewood Cliffs [u.a.] : Prentice-Hall, 1982

*Physical description scale*:

X, 501 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Prentice-Hall internatinal series in computer science

*RVK-Notation*:

*ISBN*:

0133290034

*Result*: Formal specification and software development