UCSC Library OPAC

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
© 2026 All rights reserved. UCSC