Your search returned 3 results.

Results
	1.	Logic in Computer Science by Huth, Michael Material type: Text; Format: print ; Literary form: Not fiction Publication details: Classics 2021 Availability: Items available for loan: NMIT (7)Call number: 003.5 HUT, ... Items available for reference: NMIT: Not for loan (1)Call number: 003.5 HUT. Place hold Save to lists Add to cart (remove)
	2.	Tools and Algorithms for the Construction and Analysis of Systems by Grumberg, Orna Huth, Michael Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	3.	Trust and Trustworthy Computing by Huth, Michael Asokan, N.Čapkun, Srdjan.Flechais, Ivan.Coles-Kemp, Lizzie Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)

Refine your search