The ideal of program correctness

Oxford University Computing Laboratory
emeritus professor of computing
Microsoft
senior researcher
Felvétel hossza (en): 01:42:46
Recording date: 2006-09-19 09:00:00
Upload time: 2010-06-23 15:13:23

Attachments

Presentations

Lejátszási lista:
01:00:11
407 view
15 year(s) ago
00:44:05
00:47:40
00:38:02
00:40:26
696 view
15 year(s) ago
00:42:46
826 view
15 year(s) ago
00:11:49
660 view
15 year(s) ago

Loading...