Michael Douglas Harrison

Michael Douglas Harrison

2 books in the database

Books

Design, Specification and Verification of Interactive Systems '97Michael Douglas Harrison

Design, Specification and Verification of Interactive Systems '97

Michael Douglas Harrison · 1997

Computer Safety, Reliability, and SecurityMichael Douglas Harrison

Computer Safety, Reliability, and Security

Michael Douglas Harrison · 2008