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ą.
marcel-slip z- #
- #
- #
- #
- #
- #
- #
- #
- Dodaj Komentarz