Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Michael Huth's books
Sign in with Facebook
Sign in
options
Join Goodreads
Michael Huth’s Followers
None yet.
Michael Huth
edit data
Librarian Note: There is more than one author in the Goodreads database with this name.
Combine Editions
Michael Huth’s books
Michael Huth
Average rating:
3.96
·
74
ratings ·
7
reviews ·
4 distinct works
•
Similar authors
Logic in Computer Science: Modelling and Reasoning About Systems
by
Michael Huth
,
Mark Ryan
3.96 avg rating — 74 ratings
— published 1999 —
19 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
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
0.00 avg rating — 0 ratings
— published 1997 —
3 editions
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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,
click here
.
Is this you?
Let us know.
If not, help out and
invite Michael to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.