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
Wolfgang J. Paul
14 éve - 44:05
Temporal annotations and their validation
Amir Pnueli
14 éve - 47:40
Have we learned from the Wasa disaster?
Jean-Raymond Abrial
14 éve - 38:02
A million lines of verified code
Jim Woodcock
14 éve - 40:26
The ideal of program correctness
Prof. Sir Tony Hoare
14 éve - 42:46
Opening & welcome
Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos 14 éve - 11:49
Dines Bjørner
Prof. Emer Detrekői Ákos 14 éve - 11:49
Kivonatoló program kontra emberi kivonatolás
Lengyelné dr. Molnár Tünde
14 éve - 26:34
ATA over Ethernet tárolórendszerek virtualizálása:
Székelyi Szabolcs
14 éve - 26:14
Érvek és ellenérvek a Digital Rights Management
Dr. Tószegi Zsuzsanna
14 éve - 12:28
A Microsoft ISA 2004 képességei
Horváth Zoltán
14 éve - 21:08
Védjük meg személyes információnkat! - Microsoft
Szoldán Márk
14 éve - 18:24
Microsoft Digital Rights Management -
Micskei Zoltán
14 éve - 18:04