APPLICATIONS OF FORMAL METHODS
HINCHEY, M.G.:BOWEN, J.P.
APPLICATIONS OF FORMAL METHODS - PRENTICE HALL : NEWYORK 1995 - 447 p.
0000133669491
FORMAL METHODS
005.1 / H35
APPLICATIONS OF FORMAL METHODS - PRENTICE HALL : NEWYORK 1995 - 447 p.
0000133669491
FORMAL METHODS
005.1 / H35