Szoftvertechnológia
Szoftvertechnológia (296)
Élettelen természettudományok > Számítógéptudomány > Programozás > Szoftvertechnológia
The German VeriSoft Project 2003-2007

Temporal annotations and their validation

Have we learned from the Wasa disaster?

A million lines of verified code

The ideal of program correctness

Opening & welcome
Dines Bjørner
Prof. Emer Detrekői Ákos 15 éve - 11:49

Kivonatoló program kontra emberi kivonatolás

ATA over Ethernet tárolórendszerek virtualizálása:

Érvek és ellenérvek a Digital Rights Management

A Microsoft ISA 2004 képességei

Védjük meg személyes információnkat! - Microsoft
