Prof. Sir Tony Hoare


Prof. Sir Tony Hoare

Névjegyek

emeritus professzor
Oxford University Computing Laboratory
vezető kutató
Microsoft

Fényképek


The ideal of program correctness

kifu Prof. Sir Tony Hoare 14 éve - 42:46

Questions & Answers

kifu Prof. Sir Tony Hoare 14 éve - 26:12

The verifying compiler: a Grand Challenge for

kifu Prof. Sir Tony Hoare 14 éve - 48:06