Oprogramowania idealne
Australijska organizacja NICTA og³osi³a powstanie pierwszego w historii j±dra systemu operacyjnego, które nie tylko zosta³o w ca³o¶ci matematycznie opisane, ale równie¿ przeprowadzono matematyczne dowody na to, i¿ ka¿da z linii kodu jest w pe³ni zgodna ze specyfikacj±.
http://nt.interia.pl/news/oprogramowania-idealne,1354982?source=rs
s
Australijska organizacja NICTA og³osi³a powstanie pierwszego w historii j±dra systemu operacyjnego, które nie tylko zosta³o w ca³o¶ci matematycznie opisane, ale równie¿ przeprowadzono matematyczne dowody na to, i¿ ka¿da z linii kodu jest w pe³ni zgodna ze specyfikacj±.
http://nt.interia.pl/news/oprogramowania-idealne,1354982?source=rs
s
FnF FnF FnF FnF FnF