[Перевод] Как писать программы с математическим совершенством Имя Лесли Лэмпорта, возможно, не является узнав…
[Перевод] Как писать программы с математическим совершенством Имя Лесли Лэмпорта, возможно, не является узнаваемым, но он стоит за несколькими великими проектами: программой для набора текста LaTeX и работой, которая сделала возможной облачную инфраструктуру в Google и Amazon. Он также уделил много внимания нескольким проблемам, дав им отличительные названия, такие как алгоритм пекарни и задача византийских генералов. Это не случайно. 81-летний учёный необыч... https://clck.ru/qFTSw
Автор: Habr все новости об IT