Как стать автором
Обновить

Комментарии 5

Так и не понял, кота-то в итоге нашли? Котик накормлен?
Если хотите изучать TLA+ советую почитать HIllel Wayne, у него есть несколько статей в блоге, и книга Practical TLA+.
Сейчас заметил, что одна из ссылок как раз и ведёт на его гайд.
Оффтоп: у вашей компании жутко бесячий логотип. Специально так сделали?
Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.