Michael Huth
4 published titles
Logic in computer science : modelling and reasoning about systems
2 editions
- ISBN: 0521656028
- Cambridge University Press
- 2000
- Details
- ISBN: 052154310X
- Cambridge University Press
- 2004
- Details
Secure communicating systems : design, analysis, and implementation
1 edition
- ISBN: 052180731X
- Cambridge University Press
- 2001
- Details
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 9783540712084
- Springer
- 2007
- Details
Trust and trustworthy computing : 6th international conference, TRUST 2013, London, Uk, June 17-19, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642389078
- Springer
- 2013
- Details
