Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Secure communicating systems [Book] : design, analysis, and implementation / Michael R A Huth. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2001
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.8 HUT-S.

Place hold Add to cart
2.
Logic in computer science [Book] : modelling and reasoning about systems. by
Edition: 2nd ed.
Material type: Text Text; Format: electronic
Publication details: Leiden : Cambridge University Press, 2005
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.015113 HUT-L.

Place hold Add to cart
3.
No cover image available
Logic in computer science [Book] modelling and reasoning about systems Michael Huth. by
Edition: 2nd Ed.
Material type: Text Text
Publication details: Cambridge University Press
Availability: Items available for loan: COMSATS University Abbottabad Campus (1)Call number: 005.10151 HUT.

Place hold Add to cart
Pages