TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов
1 389
8.6
Онтико85 тыс
Следующее
21.03.22 – 40827:02Популярные
27 дней – 3621:13:35
Опубликовано 21 марта 2022, 20:13
Приглашаем на конференцию HighLoad++ 2024, которая пройдет 2 и 3 декабря в Москве!
Программа, подробности и билеты по ссылке: clck.ru/3DD4yb
--------
Профессиональная конференция разработчиков высоконагруженных систем
20 и 21 сентября 2021. Санкт-Петербург, DESIGN DISTRICT DAA in SPB
Тезисы и презентация:
highload.ru/spb/2021/abstracts...
Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить.
...
Нашли ошибку в видео? Пишите нам на support@ontico.ru
Программа, подробности и билеты по ссылке: clck.ru/3DD4yb
--------
Профессиональная конференция разработчиков высоконагруженных систем
20 и 21 сентября 2021. Санкт-Петербург, DESIGN DISTRICT DAA in SPB
Тезисы и презентация:
highload.ru/spb/2021/abstracts...
Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить.
...
Нашли ошибку в видео? Пишите нам на support@ontico.ru
Свежие видео
7 часов – 10:51
10 часов – 9 4940:53
3 дня – 80:29
5 дней – 20735:40Случайные видео
94 дня – 9639:39
134 дня – 40 8802:07
29.12.22 – 1 076 92016:19
23.05.22 – 2212:56
24.06.21 – 2871:27:48
08.04.11 – 3 93523:01
3 дня – 14 0894:17
5 дней – 6 8585:55
5 дней – 1 22918:47
8 дней – 2 58735:39
13 дней – 8 92621:20
49 мин – 1 16020:10