*Result*: Refinement calculus
*Title*:
Refinement calculus : a systematic introduction / Ralph-Johan Back ; Joakim von Wright
*Author/editor-in-chief*:
*Publication*:
New York [u.a.] : Springer, 1998
*Physical description scale*:
XV, 519 S. : graph. Darst. ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Graduate texts in computer science
*Subject Added Keywords*:
*ISBN*:
0387984178
*L1_Classifications*: