Oprogramowania idealne
Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii j---a 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ą.
- #
- #
- #
- #
- #
- #
- #
- #
- 0
