Файл:Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018).pdf

Материал из 0x1.tv

Версия от 14:57, 28 декабря 2018; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти на страницу
следующая страница →
следующая страница →

Композиционное_моделирование_окружения_для_верификации_программ_на_GNU_C_(Илья_Захаров,_ISPRASOPEN-2018).pdf ‎(720 × 405 пикселей, размер файла: 698 КБ, MIME-тип: application/pdf, 20 страниц)

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

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

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий14:57, 28 декабря 2018Миниатюра для версии от 14:57, 28 декабря 2018720 × 405, 20 страниц (698 КБ)StasFomin (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.
Источник — «https://0x1.tv/index.php?title=Файл:Композиционное_моделирование_окружения_для_верификации_программ_на_GNU_C_(Илья_Захаров,_ISPRASOPEN-2018).pdf&oldid=104767»