PKK Library catalog › Results of search for 'au:"Huth, Michael"'

	1.	SECURE COMMUNICATING SYSTEMS by Huth,Michael Ra. Material type: Book Description: x,283.Publisher: Cambridge Univ. Press, Cambridge c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.8 H971S] (1). Place hold Add to cart (remove)
	2.	Logic in computer science : modelling and reasoning about systems [2nd ed.] by Huth, Michael \| Ryan, Mark. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: not fiction Description: xiv, 427p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 H975l2 cop.1] (6). Place hold Add to cart (remove)

PKK Library