The verifying compiler: a Grand Challenge for computing research
Tulajdonos: Videotorium admin
Kategóriák: Szoftvertechnológia, Szoftverfejlesztés
Lejátszási listák: Software Technology Forum (9th)
Prof. Sir Tony Hoare
(szerző)
Oxford University Computing Laboratory
emeritus professzor
Microsoft
vezető kutató
Felvétel dátuma: 2004-10-06 10:30:00
Feltöltés ideje: 2010-05-26 15:20:54