Books by Michael Huth

Michael Huth
Average rating 3.96 · 74 ratings · 7 reviews · shelved 368 times

Showing 4 distinct works.

	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth, Mark Ryan 3.96 avg rating — 74 ratings — published 1999 — 19 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Secure Communicating Systems: Design, Analysis, and Implementation by Michael Huth 0.00 avg rating — 0 ratings — published 1997 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings by Michael Huth (Editor), N. Asokan (Editor), Srdjan Capkun (Editor) 0.00 avg rating — 0 ratings — published 2013 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424. by Orna Grumberg (Editor), Michael Huth (Editor) 0.00 avg rating — 0 ratings — published 2007	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.