UCSC Library Search for 'Provider:LONDON ; PRINTICE HALL'

APPLICATIONS OF FORMAL METHODS

By HINCHEY,M. & BOWEN, J. (ED.). LONDON : PRINTICE HALL 1995 . 447 p. 0000133669491

By LEWIS G. , MORKEL A. , HUBBARD G.. LONDON : PRINTICE HALL 1993 . 832 p. 0000724800328

By WILKINSON , B.. LONDON : PRINTICE HALL 1996 . 463 p. 013518200X

By BOYLE ,T.. LONDON : PRINTICE HALL 1997 . 240 p. 0000132422158

By DEAN N.. LONDON ; PRINTICE HALL 1997 . 197 p. 0000133459438

By LEJK M. & DEEKS , D.. LONDON : PRINTICE HALL 1998 . 205 p. 0000138577641

By DOWNS ED. & CLARE P. &COE I.. LONDON : PRINTICE HALL 1992 . 407 p. 0000138536988