Názor k článku Porovnání systémů Linux a FreeBSD (2) od hkmaly - A zkusil jsi to nekdy ? Teorie je...

  • Článek je starý, nové názory již nelze přidávat.
  • 21. 11. 2003 16:59

    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.