Programming


Introduction of Tibor Gyimóthy

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

Questions & Answers

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

The verifying compiler: a Grand Challenge for

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

Introduction of Prof. Sir Tony Hoare

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

Software Engineering Evidence

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

Bevezető

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

Securing computing infrastructure with chains of

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