Computer science


Questions & Answers

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

Introduction of Tibor Gyimóthy

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

Questions & Answers

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

The verifying compiler: a Grand Challenge for

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

Introduction of Prof. Sir Tony Hoare

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

Software Engineering Evidence

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

Bevezető

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

Securing computing infrastructure with chains of

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