Ön jelenleg a(z) Kormányzati Informatikai Fejlesztési Ügynökség Videotorium aloldalát böngészi. A keresési találatok, illetve az aloldal minden felülete (Főoldal, Kategóriák, Csatornák, Élő közvetítések) kizárólag az intézményi aloldal tartalmait listázza. Amennyiben a Videotorium teljes archívumát kívánja elérni, kérjük navigáljon vissza a Videotorium főoldalára!

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

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