Potter,, Ben
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till
. - 2nd ed
. - London : Prentice Hall, 1996
. - XIV, 434 p. : il. 24 cm
. - (Prentice Hall International series in computer science)
0-13-242207-7 (Brochado)
519.766
519.682