Мышление для программистов [видео] (2014)

Мышлениедляпрограммистоввидео2014

Play Thinking for Programmers

Описание

Лесли Лэмпорт изобретатель Paxos и разработчик LaTeX представляет методы и инструменты, которые помогают программистам мыслить выше уровня кода, чтобы определять, какие приложения и службы должны делать, и гарантировать, что они это делают. В зависимости от задачи подходящие инструменты могут варьироваться от простых текстов до формальных проверенных на инструмент моделей, написанных на TLA + или PlusCal.

Вставить

Скачать

Дискуссия

Leave a comment

Your email address will not be published. Required fields are marked *