21. 11. 2003 16:59
A zkusil jsi to nekdy ? Teorie je to sice pekna, ale nezapomen ze program je nutne dokoncit v tomhle stoleti. Navic aby ti formalni verifikace fungovala, musis mit matematicky model pocitace a kernelu, coz nemas.