Software development


Introduction

kifu László Bélády 15 years ago - 2:59

Questions & Answers

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

Introduction of Tibor Gyimóthy

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

Questions & Answers

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

The verifying compiler: a Grand Challenge for

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

Introduction of Prof. Sir Tony Hoare

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

Software Engineering Evidence

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

Bevezető

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