Полное описание
> Коган, Б. И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова. - Владивосток : [б. и.], 2002. - 23 с. - (Препринт / Институт автоматики и процессов упр.(Владивосток) ; 50-2002). - 100 экз. - Текст : непосредственный.
ГРНТИ УДК 50.41 004.422.8(04)
Рубрики: Программы для ЭВМ
Доп. точки доступа: Матвеева, Т.О.
Никифорова, Н.Ю.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/30395/50-2002)>
Шифр в сводном ЭК: 0e3d5efd938f905268cc8286eaa68e0d
Иванов О.П. Инженерная экология : Учеб. пособие для студентов III-IV курсов всех спец. и всех форм обучения. Кн. 1, 1994. - 184 с. - Текст : непосредственный. Коган Б.И. Изготовление пластмассовой модельной оснастки (опыт АО "ВНИПТИМ") / Б. И. Коган, 2006. - 95 с. - Текст : непосредственный. Завора В.А. Основы эксплуатации и ремонта агроагрегатов / В. А. Завора, Б. И. Коган, М. В. Чибряков, 2004. - 426 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный. Коган Б.И. Проектирование сборочно-сварочных участков : учебное пособие / Б. И. Коган, 2008. - 211 с. - Текст : непосредственный. Коган Б.И. Ремонт горных машин. Технология и организация : учебное пособие / Б. И. Коган, 2009. - 280 с. - Текст : непосредственный. Коган Б.И. Формирование производственных систем для сборки машин : выставочные материалы / Б. И. Коган, С. А. Бочарников, 2005. - 112 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный. Артемьева И.Л. Исследование задач одного класса систем логических соотношений / И.Л.Артемьева,В.В.Суров, 1999. - 36 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Модели и метрики объектно-ориентированных проектов и программ / Б.И.Коган,Е.А.Шалфеева, 2000. - 50 p. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 23 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Построение измерительной модели современного языка программирования / Б.И.Коган,С.Н.Остроухова, 1998. - 38 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: определение контекста в программе / Б.И.Коган,Н.Ю.Никифорова, 2001. - 21 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Измерительная модель языка программирования JAVA / Б. И. Коган, Г. Е. Бардин, С. Н. Остроухова, 1998. - 47 с. - Текст : непосредственный. Шалфеева Е.А. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Внутренние свойства и метрики программ. Ч.1 / Е.А.Шалфеева, 1998. - 38 с. - Текст : непосредственный. Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В. А. Скрыпник, 1993. - 144 c. - Текст : непосредственный. Программы для ЭВМ.Базы данных.Топологии интегральных микросхем : Инфомац.бюллетень офиц.регистрации / Рос.агентство по правовой охране программ для ЭВМ,баз данных и топологий интегральных микросхем(РосАПО). Вып. 2(20), 1997. - 118 с. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный. Compile, Link and Run. N. 1, 1992. - 203 p. - Текст : непосредственный. Compile, Link and Run. N 2, 1992. - 204-427 p. p. - Текст : непосредственный. Пакштас А. Синтаксически-ориентированные компоненты распределенных систем. Инструменты разработки и отладки на основе формальных описаний / А. Пакштас, Н. В. Золотарев ; Ред. А. А. Красилов, 1992. - 271 с. - Текст : непосредственный. Пронин А.С. 100 лучших бесплатных программ для ПК / А. С. Пронин, 2009. - 125 с. - Текст : непосредственный. Запольскис А.И. Новые программы для компьютера IBM PC / А. И. Запольскис, 1999. - 494 с. - Текст : непосредственный. Параллельные алгоритмы и программы для ЭВМ с общим управлением : сборник / Институт проблем упр. (Москва), 1991. - 82 с. - Текст : непосредственный. Леонтьев В.П. Лучшие программы для Windows / В. П. Леонтьев, 2007. - 255 с. - Текст : непосредственный. Dijkstra E.W. Predicate calculus and program semantics / E. W. Dijkstra, C. S. Scholten, 1990. - X,220 p. p. - Текст : непосредственный. Зудилова Т.В. Возможности и примеры использования интегрированной системы KNOWLEDGEMAN / Т. В. Зудилова, 1990. - 126 c. - Текст : непосредственный. Котов Ю.Б. Программа симптомного анализа / Ю. Б. Котов, 1990. - 28 с. - Текст : непосредственный. Тутубалин Д.К. Информатика. Windows-приложения / Д. К. Тутубалин, А. Ю. Филиппов, 2003. - 130 с. - Текст : непосредственный. Столяровский С. 50 лучших программ для семейного компьютера / С. Столяровский, 2008. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. 48 программ для изучающих BASIC, 1993. - 86 c. - Текст : непосредственный. Макаров В.М. Имитационная модель МКП для получения временных характеристик программ : препринт / В. М. Макаров, Н. К. Скурат, 1991. - 46 с. - Текст : непосредственный. Эшли Р. PC Tools Deluxe 6.0 / Р. Эшли, Дж. Фернандес ; , 1993. - 287 с. - Текст : непосредственный. Горбунов-Посадов М.М. Конфигурации программ : монография / М. М. Горбунов-Посадов, 1994. - 272 с. - Текст : непосредственный. Показать все результаты Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Макаров В.М. Имитационная модель МКП для получения временных характеристик программ : препринт / В. М. Макаров, Н. К. Скурат, 1991. - 46 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Иванченко В.Н. СОСНА - пакет программ для структурирования экспериментальных данных / В.Н.Иванченко, 1994. - 38 . - Текст : непосредственный. Классистат-Д : Препринт / М.Хоолма,Э.Лелумеэс,Э.Вийкманн,И.Петерсен, 1990. - 36 с. - Текст : непосредственный. Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный. Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный. Петлинский В.П. Комплекс программ для сопровождения архива АРФА / В.П.Петлинский, 1991. - 10 с. - Текст : непосредственный. Хухлаев Е.В. Metamake - средство подготовки программ в сетевой гетерогенной среде / Е.В.Хухлаев, 1999. - 32 с. - Текст : непосредственный. Гречаник С.А. Полипрограммы как представление множеств функциональных программ и преобразования над ними / С. А. Гречаник, 2017. - 31 с. - Текст : непосредственный. Зизин М.Н. Требования к вычислительному модулю для Фортрана-77. Редакция 1998 года / М.Н.Зизин, 1999. - 23 с. - Текст : непосредственный. Евстигнеев В.А. Векторизация программ: анализ зависимостей / В.А.Евстигнеев,С.В.Спрогис, 1989. - 36 с., с.,. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽