Michael Douglas Harrison

Michael Douglas Harrison

2 ספרים במאגר

ספרים

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