Файл:LectEng2.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
LectEng2.pdf(размер файла: 450 КБ, MIME-тип: application/pdf)

english course for master students. lection "formal correctness proofs for sequential programs"

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий11:22, 15 февраля 2019 (450 КБ)PodymovVV (обсуждение | вклад)
21:43, 14 февраля 2019 (450 КБ)PodymovVV (обсуждение | вклад)
14:02, 16 февраля 2018 (415 КБ)PodymovVV (обсуждение | вклад)english course for master students. lection "formal correctness proofs for sequential programs"
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: