Ö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!

The verifying compiler: a Grand Challenge for computing research

541

The verifying compiler: a Grand Challenge for computing research




Software Technology Forum (9th)

Szoftvertechnológia, Szoftverfejlesztés

Prof. Sir Tony Hoare (szerző)

48:06

2004. október 6.

Videotorium admin

2010. május 26.

541
<iframe width="480" height="385" src="//kifu.videotorium.hu/hu/embed/65" frameborder="0" allowfullscreen="allowfullscreen"></iframe>