Prof. Sir Tony Hoare
Névjegyek
emeritus professzor
Oxford University Computing Laboratory
vezető kutató
Microsoft
Fényképek
The ideal of program correctness
Prof. Sir Tony Hoare
14 éve - 42:46
Questions & Answers
Prof. Sir Tony Hoare
14 éve - 26:12
The verifying compiler: a Grand Challenge for
Prof. Sir Tony Hoare
14 éve - 48:06