доказательное программирование

Почему земляне делают глючный софт и железо

Почему земляне делают глючный софт и железо

Думаю никто не станет спорить с тем, что качество сколь-либо сложных систем создаваемых землянами далеко от идеала. Конечно, можно сказать, что всё работает — самолёты летают, космические корабли бороздят просторы орбиты Земли т.д. Но при этом все привыкли к тому,…
Читать дальше