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