Michael Huth Books
Trust and Trustworthy Computing
By Michael Huth
This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013. There is a technical and a socio...
Read MoreLogic in Computer Science
By Michael Huth
Improvements to the first edition have been made throughout, with extra and expanded sections on linear-time temporal logic model checking, SAT solvers, second-order logic, the Alloy specification...
Read More