The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey.
Turner, J. G.
The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey. - London ; New York : McGraw-Hill, c1994. - xii, 420 p. : ill. ; 25 cm.
0077077350
Software engineering.
005.12 TUR
The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey. - London ; New York : McGraw-Hill, c1994. - xii, 420 p. : ill. ; 25 cm.
0077077350
Software engineering.
005.12 TUR