Tisztelt Felhasználók!
Ezúton tájékoztatjuk Önöket, hogy 2026.02.24.-től kezdődően a videófeltöltés-, valamint módosítás szolgáltatásunk átmenetileg szünetel, de a már korábban feltöltött videók továbbra is megtekinthetők maradnak. Munkatársaink mindent megtesznek annak érdekében, hogy az átállás a lehető legrövidebb időn belül, zökkenőmentesen megtörténjen.

Az átállás során Önnek nincs teendője, a meglévő tartalmak az új rendszer indulását követően változatlanul továbbra is elérhetők lesznek.

Az átmeneti időszakra türelmét és megértését kérjük.

Computer science


Questions & Answers

kifu Tibor Gyimóthy 16 years ago - 12:30

Introduction of Tibor Gyimóthy

kifu László Bélády 16 years ago - 1:29

Questions & Answers

kifu Prof. Sir Tony Hoare 16 years ago - 26:12

The verifying compiler: a Grand Challenge for

kifu Prof. Sir Tony Hoare 16 years ago - 48:06

Introduction of Prof. Sir Tony Hoare

kifu László Bélády 16 years ago - 8:04

Software Engineering Evidence

kifu Prof. Dr. H. Dieter Rombach 16 years ago - 1:03:00

Bevezető

kifu László Bélády 16 years ago - 6:41

Securing computing infrastructure with chains of

kifu Prof. Richard A. DeMillo 16 years ago - 47:18