Верификация программ: Часть 1: нерекурсивные программыкнига

Работа с книгой

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст Mironov_v_pechat.pdf 2,7 МБ 7 декабря 2017 [amironov66]

[1] Миронов А. М. Верификация программ: Часть 1: нерекурсивные программы. — МАКС Пресс Москва, 2017. — 76 с.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть