Название: Прикладные методы верификации программ Автор: Непомнящий В.А., Рякин О.М. Издательство: М.: Радио и связь Год: 1988 Формат: PDF Страниц: 256 Размер: 10 mb Язык: русский
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.
Предлагаемая вниманию книга В. А. Непомнящего и О. М. Рякина является одной из первых отечественных публикаций, излагающих современное состояние верификации программ В то же время уместно подчеркнуть, что линия доказательного программирования, в том числе в советской научной школе, восходит к истокам информатики и программирования. Строгая методика решения прикладных математических задач, сложившаяся в Институте прикладной математики АН СССР в начале 50-х годов, не только стала толчком к развитию автоматизации программирования с помощью трансляторов, но и предвосхитила многие идеи формальной спецификации задач. Автоматические решатели задач на вычислительных моделях, разработанные в конце 60-х годов в ряде научно-исследовательских институтов Таллина, заложили основы сборочного программирования и логического синтеза программ...
Применение теории графов в программировании Название: Применение теории графов в программировании Автор: Евстигнеев В.А. Издательство: М.: Наука Год: 1985 Cтраниц: 352 Формат: djvu Размер: 11...
Программирование на языках высокого уровня Название: Программирование на языках высокого уровня Автор: Голицына О.Л., Попов И.И. Издательство: Форум Серия: Профессиональное образование...
Элементы современного программирования Название: Элементы современного программирования Автор: Дмитриева М.В., Кубенский А.А. Издательство: СПб.: Изд-во С.-Петерб. ун-та Год: 1991 Страниц:...