Woodcock,, Jim
Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies
Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies
. - London : Prentice Hall, 1996
. - XVI, 386 p. 24 cm
. - (Prentice Hall series in computer science)
0-13-948472-8 (Brochado)
519.68
510.5