Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Теоретическая информатика. Доказательство правильности. Учебное пособие
.pdf
Веретельникова Евгения Леонидовна
ТЕОРЕТИЧЕСКАЯ ИНФОРМАТИКА
ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ
Учебное пособие
Редактор И.Л. Кескевич
Выпускающий редактор И.П. Брованова
Корректор И.Е. Семенова
Дизайн обложки А.В. Ладыжская
Компьютерная верстка С.И. Ткачева
Налоговая льгота – Общероссийский классификатор продукции
Издание соответствует коду 95 3000 ОК 005-93 (ОКП)
Подписано в печать 28.03.2016. Формат 60 84 1/16. Бумага офсетная. Тираж 60 экз.
Уч.-изд. л. 3,02. Печ. л. 3,25. Изд.
Новосибирского государственного технического университета
630073, г. Новосибирск, пр. К. Маркса, 20
№ 282/15. Заказ № . Цена договорная
Отпечатано в типографии
51
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]