Электронно-библиотечная система НГТУ / Информация о ресурсе
Подождите, идет поиск...Информация о ресурсе
| Автор(ы): | Веретельникова Е. Л. |
| Заглавие: | Доказательство правильности программ : конспект лекций по курсу "Теория вычислительных процессов" |
| Выходные данные: | Новосибирск : Изд-во НГТУ, 2005 |
| Полный текст: |
перейти / скачать файл |
| Тип: | конспекты лекций |
| Предметная область: |
вычислительная техника |
| Ключевые слова: |
блок-схемы программ математическая индукция программы для ЭВМ рекурсивные программы индуктивные утверждения аксиоматический подход формализация доказательства доказательства |
| Кафедра/ подразделение-разработчик: |
каф. АВТ (факультет АВТФ) |
| Лицензионные договоры: | внесен лицензионный договор для автора Веретельникова Е.Л. |
Описание ресурса в электронном каталоге НБ