Szoftverfejlesztés
Szoftverfejlesztés (129)
Élettelen természettudományok > Számítógéptudomány > Programozás > Szoftvertechnológia > SzoftverfejlesztésFrom computable functions to definable systems
Wolfgang Reisig
14 éve - 41:36
Artificial biochemistry
Luca Cardelli
14 éve - 44:49
Challenges of quantum informatics
Jozef Gruska
14 éve - 45:26
Panel: Pan-European collaboration
14 éve - 1:00:11
Model checking, theorem proving, and abstract
Thomas Henzinger
14 éve - 41:21
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
Hálózati azonosság kezelése, biztonsági és
Zsemlye Tamás
Fábián Péter 14 éve - 23:32
Fábián Péter 14 éve - 23:32