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

• 19.07.2023 08:01
• Albert_Wesker
• 0

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