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

• 19.07.2023 08:01
• Albert_Wesker
• 0

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