Your search returned 4 results.

Results
		Secure communicating systems Design,analysis and implementation / by Huth, Michael R. A Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press , 2001 Availability: Items available for loan: Kerala University Library (1)Call number: D6515:88 P12. Place hold Add to cart (remove)
		Logic in computer science Modelling and reasoning about systems / by Huth, Michael Ryan , Mark Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge Univeristy Press , 2004 Availability: Items available for loan: Kerala University Library (1)Call number: D651:(R1) P4. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Logic In Computer Science / Michael Huth. Textual Documents by Huth, Michael Ryan, Mark Edition: 2 / . Material type: Text; Format: print regular print ; Audience: General; Language: English Original language: NULL Publication details: Cambridge : Cambrdge University Press , 2004 Availability: Items available for loan: Dept. of Computer Science (1)Call number: 004. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Logic in computer science: Modelling and reasoning about systems Michael Huth and Mark Ryan by Huth, Michael [] Ryan, Mark [] Series: Edition: Material type: Text Publication details: Cambridge University Press, Cambridge 2005 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 HUT-L. Place hold Add to cart (remove)