APPLICATIONS OF FORMAL METHODS
HINCHEY,M. & BOWEN, J. (ED.)
APPLICATIONS OF FORMAL METHODS - LONDON : PRINTICE HALL 1995 - 447 p.
0000133669491
FORMAL METHODS
005.12 / A66
APPLICATIONS OF FORMAL METHODS - LONDON : PRINTICE HALL 1995 - 447 p.
0000133669491
FORMAL METHODS
005.12 / A66