Информация о ресурсе

Автор(ы):

Веретельникова Е. Л.

Заглавие:

Доказательство правильности программ : конспект лекций по курсу "Теория вычислительных процессов и структур"

Выходные данные:

Новосибирск : Изд-во НГТУ, 2004

Полный текст:

Тип:

конспекты лекций

Предметная область:

вычислительная техника

Ключевые слова:

блок-схемы программ
математическая индукция
программы для ЭВМ
метод индуктивных утверждений

Кафедра/
подразделение-разработчик:

каф. АВТ (факультет АВТФ)

Лицензионные договоры:

внесен лицензионный договор для автора Веретельникова Е.Л.