Názor k článku Porovnání systémů Linux a FreeBSD (2) od hkmaly - A zkusil jsi to nekdy ? Teorie je...
-
hkmaly (neregistrovaný)
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.
