Michael Huth

Michael Huth's books

Logic in Computer Science: Modelling and Reasoning About Systems

3.96 avg rating — 73 ratings

Secure Communicating Systems: Design, Analysis, and Implementation

0.00 avg rating — 0 ratings

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings

0.00 avg rating — 0 ratings

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424.

0.00 avg rating — 0 ratings