Huth, Michael

ID:DA12620498

Alias Name: Huth, M

Search authors sharing the same name

Search Results1-5 of 5

1

Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013 : proceedings

Michael Huth ... [et al.] (eds.)

Springer c2013 Lecture notes in computer science 7904

: [pbk.]

Available at 1 libraries
2

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 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings

Orna Grumberg, Michael Huth (eds.)

Springer c2007 Lecture notes in computer science 4424

Available at 2 libraries
3

Logic in computer science : modelling and reasoning about systems

Michael Huth, Mark Ryan

Cambridge University Press 2004 2nd ed.

: pbk

Available at 33 libraries
4

Secure communicating systems : design, analysis, and implementation

Michael R.A. Huth

Cambridge University Press 2001

: hard

Available at 16 libraries
5

Logic in computer science : modelling and reasoning about systems

Michael Huth, Mark Ryan

Cambridge University Press 2000

: hard , : pbk

Available at 33 libraries

Search this author

Related Authors