Вы здесь

Непомнящий В. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ О проверке правильности программ с помо ью ЭВМ 1976 Непомнящий В. А., Черноброд Л. В. ВЦ СО АН СССР Проблемы программирования 11.10.1993
СТ О предикатах, вычислимых операторными алгоритмами с тестом равенства нулю 1976 Непомнящий В. А. Тез. докл. IV Всесоюз. конф. по математической логике 11.10.1993
СТ Вычислительная машина абстрактная 1977 Непомнящий В. А. Математическая энциклопедия 11.10.1993
СТ О проблеме пустоты для схем программ II 1977 Непомнящий В. А. Программирование 11.10.1993
СТ О разрешимости проблемы пустоты для некоторых классов схем программ 1977 Непомнящий В. А. ВЦ СО АН СССР Теория программирования и методы трансляции: Тр. советско-французского симп. 11.10.1993
СТ Примеры предикатов, невыразимых s-рудиментарными формулами 1978 Непомнящий В. А. Кибернетика 11.10.1993
СТ Проверка правильности программ с массивами 1978 Непомнящий В. А. Тез.докл. Всесоюз. симп. "Искусственный интеллект и автоматизация исследования в математике" 11.10.1993
СТ Проверка правильности программ с массивами и файлами 1978 Непомнящий В. А. ВЦ СО АН СССР Перспективы развития в системном и теоретическом программировании: Труды Всесоз. симп. 11.10.1993
СТ Элиминация пересылок в стандартных схемах программ 1979 Непомнящий В. А., Сабельфельд В. К. Программирование 11.10.1993
СТ Практические методы проверки правильности программ 1979 Непомнящий В. А. ВИНИТИ Семиотика и информатика 11.10.1993
СТ Верификация программ сортировки массивов 1979 Непомнящий В. А., Чурина Т. Г. ВЦ СО АН СССР Языки и системы программирования 11.10.1993
СТ Верификация и тестирование интерпретатора языка БЭЙСИК 1980 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Трансляция и модели программ 11.10.1993
СТ Проблема тотальности для стандартных программ 1980 Непомнящий В. А. ИМ СО АН СССР Тез. докл. V Всесоюз. конференции по проблемам теоретической кибернетики 11.10.1993
СТ Верификация интерпретатора для языка БЭЙСИК 1980 Непомнящий В. А., Сулимов А. А. Тез. докл. Всесоюз. конф. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование" 11.10.1993
СТ Верификация программ обработки файлов на языке Паскаль 1981 Непомнящий В. А. Программирование 11.10.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 20.08.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 19.08.1993
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Верификация программ линейной алгебры в системе СПЕКТР 1992 Непомнящий В. А., Сулимов А. А. Кибернетика и системный анализ 06.01.1993
СТ Доказательство условий корректности в проблемно-ориентированной системе верификации программ 1986 Непомнящий В. А., Воробьев С. Г. Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" 11.12.1992
СТ Язык спецификаций систем и свойств взаимодействую их процессов реального времени 1991 Непомнящий В. А., Шилов Н. В. Методы теоретического и системного программирования 28.10.1992
СТ Язык спецификаций систем и свойств взаимодействую их процессов реального времени 1991 Непомнящий В. А., Шилов Н. В. Методы теоретического и системного программирования 27.10.1992
СТ Проблемно-ориентированный подход к верификации программ линейной алгебры 1991 Непомнящий В. А., Сулимов А. А. Смешанные вычисления и преобразование программ 22.06.1992
СТ Проблемно-ориентированный подход к верификации программ 1988 Непомнящий В. А. Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.) 28.03.1991
СТ Элиминация инвариантов циклов при верификации программ 1985 Непомнящий В. А. Информатика-85 14.02.1991
СТ Элиминация инвариантов циклов при верификации программ 1985 Непомнящий В. А. Информатика-85 13.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010 2010
  1. Непомнящий В. А.
  2. Соколов В. А.
22.06.2010
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
ИСИ СО РАН 04.11.1998
СБ Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 1995
  1. Непомнящий В. А.
ИСИ СО РАН 15.12.1996
СБ Проблемы теоретического и экспериментального программирования: Сборник научных трудов 1993
  1. Непомнящий В. А.
ИСИ СО РАН 10.05.1995
СБ Языки и системы программирования. (Сборник научных трудов) 1979
  1. Поттосин И. В.
  2. Непомнящий В. А.
ВЦ СО АН СССР 15.12.1979
СБ Проблемы программирования. Сборник трудов 1976
  1. Котов В. Е.
  2. Непомнящий В. А.
ВЦ СО АН СССР 16.12.1976
СБ Теория программирования, часть I: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть 1: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть II: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
ВЦ СО АН СССР 13.04.1972