Your search returned 2 results.

Results
		Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark. Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: UK : Cambridge University Press, c2004Availability: Items available for reference: Don Bosco Institute of Technology Library: Not for loan (1)Call number: 005.1015113 HUT/LOG. Add to cart (remove)
		Secure Communicating Systems : Design, Analysis, and Implementation/ Michael, Huth. by Huth, Michael. Material type: Text; Format: print ; Literary form: Not fiction Publication details: U.K. : Cambridge University Press, c2001Availability: Items available for reference: Don Bosco Institute of Technology Library: Not for loan (1)Call number: 005.8 HUT/SEC. Add to cart (remove)

Refine your search