m1rko 26 декабря 2018 в 22:52Двухфазный коммит и будущее распределённых системВсего голосов 16: ↑15 и ↓1 +14 Просмотры12.8KДобавить в закладки 59 Комментарии 1
m1rko 23 января 2019 в 23:09Почему люди не используют формальные методы?Всего голосов 35: ↑35 и ↓0 +35 Просмотры10.8KДобавить в закладки 103 Комментарии 18
potan 14 августа 2019 в 15:16How to Catch a Cat with TLA+Всего голосов 9: ↑9 и ↓0 +9 Просмотры1.2KДобавить в закладки 1 Комментарии 0
potan 14 августа 2019 в 13:39Ловим кота с TLA+Всего голосов 24: ↑22 и ↓2 +20 Просмотры4.6KДобавить в закладки 27 Комментарии 5
potan 31 мая 2020 в 13:34Очередной подход к RS-триггеру, теперь с TLA+Всего голосов 5: ↑5 и ↓0 +5 Просмотры1.7KДобавить в закладки 13 Комментарии 0
vasil-sd 16 октября 2019 в 10:21Инженерный подход к разработке ПО. От теории к практикеВсего голосов 22: ↑20 и ↓2 +18 Просмотры10.5KДобавить в закладки 122 Комментарии 29
