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

Opening & welcome

540

Opening & welcome




Az informatika nagy kihívásai, Verified software

Szoftverfejlesztés

Dr. Szeredi Péter (szerző)
Dines Bjørner (szerző)
Prof. Emer Detrekői Ákos (szerző)

11:49

2006. szeptember 19.

Videotorium admin

2010. június 23.

540
<iframe width="480" height="385" src="http://kifu.videotorium.hu/hu/embed/1671" frameborder="0" allowfullscreen="allowfullscreen"></iframe>