Приложение
для AndroidПолное описание
Макаров, В. П. Термы в языке спецификаций ЯМС / В.П.Макаров. - Минск : [б. и.], 1992. - 19 с. - (Препринт / АН Беларуси(Минск) ; 3(9))). - 50 экз. - 80 р. - Текст : непосредственный.
Библиогр. в конце кн. (5 назв.)
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.28(04) |
Рубрики:
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): программа -- эвм -- спецификация
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Цветков В.И. Построение разностных схем на произвольной сетке для квазилинейного параболического уравнения / В.И.Цветков,Л.А.Липский, 1994. - 27 c.Краснопрошин В.В. О методе управления мультиструктурными системами на основе распознавания и классификации / В.В.Краснопрошин,Е.П.Максимович, 1994. - 57 c.Азаренко Л.Ф. Библиотека классов для реализации ввода параметров в диалоговых системах / Л.Ф.Азаренко,А.М.Колесник, 1994. - 27 c.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Никифорова Е.Д. Работа в компьютерной системе LATEX / Е.Д.Никифорова, 1994. - 64 c. - Текст : непосредственный.Кузнецов Г.П. Планирование вычислений в САПР и пакетах прикладных программ / Г.П.Кузнецов, 1992. - 41 с. - Текст : непосредственный.Григянец Р.Б. Анализ тенденций и направлений развития систем баз данных и знаний / Р.Б.Григянец, 1992. - 23 с. - Текст : непосредственный.Макаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Ковалев И.П. Когнитивная алгебра образов / И.П.Ковалев, 1992. - 34 с. - Текст : непосредственный.Сементовский А.В. Комплексные характеры и их влияние на строение конечной -обособленной группы / А.В.Сементовский, 1992. - 20 с. - Текст : непосредственный.Ковалев И.П. Представление неточности в задаче образной интерпретации объектов / И.П.Ковалев, 1991. - 16 c. - Текст : непосредственный.Бакулин А.В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин, 1991. - 25 с. - Текст : непосредственный.Макаров В.П. Наследственное описание многосортных теорий / В.П.Макаров, 1991. - 11 c. - Текст : непосредственный.Бакулин А.В. Многоуровневая разработка программ, основанная на применении интерпретированных схем алгебры алгоритмов / А.В.Бакулин, 1991. - 22 с. - Текст : непосредственный.Макаров В.П. Система TSTEP подготовки программ для программируемых контроллеров / В.П.Макаров,П.М.Никулин, 1991. - 23 с. - Текст : непосредственный.
Система автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 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. - Текст : непосредственный.
Показать все результатыМакаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Непомнящий В.А. A new language Basic-Real for specification and verification of distributed system models / В. А. Непомнящий, N. V. Shilov, E. V. Bodin, 1999. - 39 p. - Текст : непосредственный.Замулин А.В. Adding genericity to object-oriented ASMs / А.В.Замулин, 1999. - 28 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б.И.Коган,Е.А.Шалфеева, 2000. - 30 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Средства специфицирования моделей и метрик программ. Ч.1 / Б.И.Коган,Е.А.Шалфеева, 2000. - 46 с. - Текст : непосредственный.Окунишникова Е.В. Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование / Е.В.Окунишникова, 2001. - 59 с. - Текст : непосредственный.Сеношенко К.О. Object-0riented specifications: set-theory based and algebraic approaches. A review / К.О.Сеношенко, 2002. - 39 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный.Горелик А.М. Средства явной спецификации векторных операций и их использование для программирования вычислительных задач / А.М.Горелик, 2003. - 26 с. - Текст : непосредственный.Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей / Т. Г. Чурина, В. С. Аргиров, 2005. - 62 с. - Текст : непосредственный.Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М. Ю. Машуков, Т. Г. Чурина, 2007. - 70 с. - Текст : непосредственный.Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В.А. Непомнящий, Е.В.Бодин, С.О.Веретнов, 2007. - 42 с. - Текст : непосредственный.Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный.Визовитин Н.В. Алгоритм трансляции UCM - спецификаций в раскрашенные сети Петри / Н. В. Визовитин, 2012. - 55 с. - Текст : непосредственный.
Заказ фрагмента документа ₽