Приложение
для AndroidПолное описание
Ануреев, И. С. Применение систем переписывания формул в автоматической верификации программ / И.С.Ануреев. - Новосибирск : [б. и.], 1998. - 47 с. - (Препринт / Институт систем информатики(Новосибирск) ; 55). - 75 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.5(04) |
Рубрики:
Программы для ЭВМ -- Верификация
Кл.слова (ненормированные): программа -- эвм -- верификация
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Замулин А.В. The database specification language Ruslan : A preliminary communication / А.В.Замулин, 1994. - 35 p. - Текст : непосредственный.Сабельфельд В.К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности / В.К.Сабельфельд, 1994. - 42 c. - Текст : непосредственный.Вирбицкайте И.Б. Семантические модели потоковых вычислений / И.Б.Вирбицкайте,А.В.Вотинцева, 1993. - 29 c. - Текст : непосредственный.Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный.Городняя Л.В. Принципы конструирования электронного учебника по информационной стилистике русского языка / Л.В.Городняя,Г.П.Несговорова, 1994. - 19 c. - Текст : непосредственный.Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный.Загорулько Ю.А. Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций / Ю.А.Загорулько, 1994. - 65 c. - Текст : непосредственный.Поттосин И.В. О критериях добротности программ / И.В.Поттосин, 1966. - 35 с. - Текст : непосредственный.Колдаков В.В. Реализация распределенной базы данных в концепции информационного хранилища / В. В. Колдаков, В. В. Марусин, Е. М. Шаталов, 1996. - 26 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 43 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 39 с. - Текст : непосредственный.Кадач А.В. Свойства кодов Хаффмана и эффективные методы декодирования префиксных кодов / А.В.Кадач, 1997. - 44 с. - Текст : непосредственный.Леонов М.В. Эффективный алгоритм, реализующий замкнутый набор булевых операций над множествами многоугольников на плоскости / М.В.Леонов,А.Г.Никитин, 1997. - 24 с. - Текст : непосредственный.Вотинцева А.В. Исследование эквивалентностей для структур событий / А.В.Вотинцева, 1997. - 30 с. - Текст : непосредственный.Кадач А.В. Эффективные методы создания и передачи префиксных кодов / А.В.Кадач, 1997. - 27 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыАнуреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.Ануреев И.С. Применение систем переписывания формул в автоматической верификации программ / И.С.Ануреев, 1998. - 47 с. - Текст : непосредственный.Ануреев И.С. Теория систем переписывания формул / И.С.Ануреев, 1998. - 35 с. - Текст : непосредственный.Новый математический аппарат для анализа внешнего поведения и верификации программ : Препринт / Н.А.Абрамова,Т.С.Баталина,Н.А.Гегамов,С.В.Коврига, 1998. - 109 с. - Текст : непосредственный.Рязанов А.Е. Система БУЦЕФАЛ: комбинирование дедуктивных процедур и описание стратегий поиска доказательств / А.Е.Рязанов, 1998. - 42 с. - Текст : непосредственный.На пути к верификации С-программ. Ч.2 Язык C-light-kernel и его аксиоматическая семантика / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2001. - 57 с. - Текст : непосредственный.Галкин И.М. Сетевое моделирование, статический и динамический анализ программ / И.М.Галкин, 1991. - 52 c. - Текст : непосредственный.Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И.С.Ануреев, 2002. - 29 с. - Текст : непосредственный.На пути к верификации С-программ / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2002. - 82 с. - Текст : непосредственный.Шестопалов А.А. Верификация термомеханической программы FRED по результатам экспериментов IFA-503.2 (Halden reactor) / А.А.Шестопалов,К.О.Микитюк, 2003. - 36 с. - Текст : непосредственный.Промский А.В. Генерация и метагенерация условий корректности в системе СПЕКТР-2 / А.В.Промский, 2003. - 50 с. - Текст : непосредственный.Карев А.А. Оценка показателей качества программного обеспечения информационно-вычислительной системы / А.А.Карев,В.М.Добрянский, 2003. - 12 с. - Текст : непосредственный.Верификация термомеханической программы Fred по результатам экспериментов IFA-503.2 (Halden Reactor) / А. А. Шестопалов, К. О. МикитюкФомиченко П. А., 2004. - 41 с. - Текст : непосредственный.Аффинное представление данных для проверки моделей программ / Н.О. Гаранина, 2004. - 48 с. - Текст : непосредственный.Верификация C#-программ: перевод языка C#-light в язык C#-kernel / И.В. Дубрановский, 2004. - 60 с. - Текст : непосредственный.Towards C# program verification: a three-level approach / В. А. Непомнящий [и др.], 2005. - 38 p. - Текст : непосредственный.На пути к верификации C# - программ: алгоритмы перевода из C#-light в C#-kernel / И. В. Дубрановский, 2006. - 55 с. - Текст : непосредственный.Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В. А. Непомнящий [и др.], 2007. - 69 с. - Текст : непосредственный.Применение трехуровневого подхода к верификации программ на языке С / А. В. Промский, 2006. - 55 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽