Programozás

Programozás (337)

Élettelen természettudományok > Számítógéptudomány > Programozás
Szoftvertechnológia (312)

Panel: Pan-European collaboration
kifu 14 éve - 1:00:11

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 14 éve - 41:21

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 14 éve - 44:05

Temporal annotations and their validation
kifu Amir Pnueli 14 éve - 47:40

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 14 éve - 38:02

A million lines of verified code
kifu Jim Woodcock 14 éve - 40:26

The ideal of program correctness
kifu Prof. Sir Tony Hoare 14 éve - 42:46

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

Kivonatoló program kontra emberi kivonatolás
kifu Lengyelné dr. Molnár Tünde 14 éve - 26:34

ATA over Ethernet tárolórendszerek virtualizálása:
kifu Székelyi Szabolcs 14 éve - 26:14

Welcome to the Read/Write Web
mta Marin Dacos 14 éve - 14:38

Towards a science of the Web: the power of
mta Dame Wendy Hall CBE 14 éve - 22:57