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

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

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

Информация

Дата основания
2016
Местоположение
Россия
Сайт
wavesplatform.com
Численность
101–200 человек
Дата регистрации

Блог на Хабре