Programozás


The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 9 éve - 44:05

Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 9 éve - 38:02

A million lines of verified code

kifu Jim Woodcock 9 éve - 40:26

The ideal of program correctness

kifu Prof. Sir Tony Hoare 9 éve - 42:46

Opening & welcome

kifu Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos
9 éve - 11:49

Kivonatoló program kontra emberi kivonatolás

kifu Lengyelné dr. Molnár Tünde 9 éve - 26:34

Welcome to the Read/Write Web

mta Marin Dacos 9 éve - 14:38

Towards a science of the Web: the power of

mta Dame Wendy Hall CBE 9 éve - 22:57