You are currently browsing the Videotorium site of the organization Kormányzati Informatikai Fejlesztési Ügynökség. The content of the search results and listing pages of the site (Main page, Categories, Channels, Live events) are limited to this organization. In case you wish to browse the whole archive of Videotorium, please, navigate back to the main Videotorium site.

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