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