Особенности обновлений узлов децентрализованных блокчейн-систем +1 01.06.2020 09:35 potan 0 Анализ и проектирование систем Криптовалюты
Очередной подход к RS-триггеру, теперь с TLA+ +5 31.05.2020 10:34 potan 0 Анализ и проектирование систем Математика FPGA Схемотехника
How to Catch a Cat with TLA+ +9 14.08.2019 12:16 potan 0 Программирование Анализ и проектирование систем Математика Логические игры Блог компании Waves
Ловим кота с TLA+ +20 14.08.2019 10:39 potan 4 Программирование Анализ и проектирование систем Математика Логические игры Блог компании Waves
