Result: Program development by refinement

*Title*:

Program development by refinement : case studies using the B method / E. Sekerinski and K. Sere (ed.)

*Author/editor-in-chief*:

*Publication*:

London [u.a.] : Springer, 1999

*Physical description scale*:

XXIV, 334 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Formal approaches to computing and information technology

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

1852330538

*Result*: Program development by refinement