Albert_Wesker Jul 19 2023 at 11:01Верификация распределённых систем с применением Isabelle/HOLLevel of difficultyHardReading time8 minViews1.6KTimeweb Cloud corporate blogAlgorithms*Distributed systems*ReviewTranslationTotal votes 15: ↑15 and ↓0+15Add to bookmarks15Comments1
redbeardster Aug 4 at 19:32А, Вы ту статью Клеппмана взяли, господин Вескер? Привет доктору Айзексу и Алисе! :) Большой молодец!
Верификация распределённых систем с применением Isabelle/HOL