Скачать [ДМК] Введение в формальные методы верификации программ [Камкин А.]

[Slivinfo]

[ДМК] Введение в формальные методы верификации программ [Камкин А.]​

​

[ДМК] Введение в формальные методы верификации программ [Камкин А.]

Этот курс появится в скором времени на форуме SLIV-INFO.BIZ Проверьте по поиску форума, возможно данный курс уже слит.