HINCHEY, M.G.:BOWEN, J.P.

APPLICATIONS OF FORMAL METHODS - PRENTICE HALL : NEWYORK 1995 - 447 p.

0000133669491


FORMAL METHODS

005.1 / H35