Как стать автором

Albert_Wesker 19 июл 2023 в 08:01

Верификация распределённых систем с применением Isabelle/HOL

Сложный

8 мин

1.8K

Блог компании Timeweb CloudАлгоритмы*Распределённые системы*

Обзор

Перевод

+12

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

redbeardster 4 авг 2024 в 16:32

А, Вы ту статью Клеппмана взяли, господин Вескер? Привет доктору Айзексу и Алисе! :) Большой молодец!

Зарегистрируйтесь на Хабре, чтобы оставить комментарий