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ą.
Dodany z kopalniawiedzy.pl do Technologia » Nowe technologie z tagami system technologia linux ciekawostki windows microso jądro
Reklamy Google