Математические методы верификации схем и программ

Материал из Кафедра математической кибернетики
Версия от 09:41, 9 сентября 2016; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Источник — «https://mk.cs.msu.ru/index.php?title=Математические_методы_верификации_схем_и_программ&oldid=2985»