Полное описание
На пути к верификации С-программ / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский. - Новосибирск : [б. и.], 2002. - 82 с. - (Препринт / Институт систем информатики(Новосибирск) ; 97). - 50 экз. - Текст : непосредственный.
ГРНТИ УДК 50.05.13 004.415.5(04)
Рубрики: Программы для ЭВМ -- Верификация
Доп. точки доступа: Непомнящий, В.А.
Ануреев, И.С.
Михайлов, И.Н.
Промский, А.В.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/97)
Шифр в сводном ЭК: a195cecce3240f7967f2ea5bad457665
Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Проблемы теоретического и экспериментального программирования : сборник научных трудов / Институт систем информатики (Новосибирск), 1993. - 182 c. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Черненок С.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри / С. А. Черненок, В. А. Непомнящий, 2013. - 61 с. - Текст : непосредственный. Семинар "Семантика, спецификация и верификация программ: теория и приложения" : материалы временных коллективов / "Семантика, спецификация и верификация программ: теория и приложения", семинар (2010 ; Казань) , 2010. - 178 с. - Текст : непосредственный. Молодая информатика : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 2005. - 122 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Михайлов И.Н. Как правильно хранить машины / И. Н. Михайлов, А. В. Моршин, 1962. - 36 с. - Текст : непосредственный. Промский А.В. Формальный подход к локализации ошибок / А.В. Промский, 2012. - 32 p. - Текст : непосредственный. Квадрупольные электрические переходы в изотопах 156, 158, 160, 162, 164Dy / И.Н.Михайлов,П.Н.Усманов,А.А.Охунов,Ш.Бриансон, 1991. - 15 с. - Текст : непосредственный. Непомнящий В.А. Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2012. - 52 с. - Текст : непосредственный. Показать все результаты Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Шестопалов А.А. Верификация термомеханической программы Fred по результатам экспериментов IFA-503.2 (Halden Reactor) / А. А. Шестопалов, К. О. Микитюк, Фомиченко П. А., 2004. - 41 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Промский А.В. Формальный подход к локализации ошибок / А.В. Промский, 2012. - 32 p. - Текст : непосредственный. Марьясов И.В. Метод смешанной аксиоматической семантики / И.В. Марьясов, 2011. - 42 p. - Текст : непосредственный. Непомнящий В.А. Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2012. - 52 с. - Текст : непосредственный. Дубрановский И.В. Верификация C#-программ: перевод языка C#-light в язык C#-kernel / И.В. Дубрановский, 2004. - 60 с. - Текст : непосредственный. Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный. Карев А.А. Оценка показателей качества программного обеспечения информационно-вычислительной системы / А.А.Карев,В.М.Добрянский, 2003. - 12 с. - Текст : непосредственный. Towards C# program verification: a three-level approach / В. А. Непомнящий [и др.], 2005. - 38 p. - Текст : непосредственный. Рязанов А.Е. Система БУЦЕФАЛ: комбинирование дедуктивных процедур и описание стратегий поиска доказательств / А.Е.Рязанов, 1998. - 42 с. - Текст : непосредственный. Батраков В.А. Автоматическое доказательство формул корректности предикатной программы в системе RUSSELL / В. А. Батраков, В. И. Шелехов, 2012. - 32 с. - Текст : непосредственный. Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный. Чушкин М.С. Генерация и доказательство условий корректности предикатных программ / М. С. Чушкин, В. И. Шелехов, 2012. - 49 с. - Текст : непосредственный. На пути к верификации С-программ. Ч.2 Язык C-light-kernel и его аксиоматическая семантика / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2001. - 57 с. - Текст : непосредственный. Галкин И.М. Сетевое моделирование, статический и динамический анализ программ / И.М.Галкин, 1991. - 52 c. - Текст : непосредственный. Марьясов И.В. На пути к автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernel / И. В. Марьясов, 2008. - 32 с. - Текст : непосредственный. Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И.С.Ануреев, 2002. - 29 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
