• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Расширенный поиск
  • Прверка и утверждение программ...
  • Цитировать
  • Отправить по sms
  • Отправить на Email
  • Печать
  • Запись для экспорта
    • Экспорт в RefWorks
    • Экспорт в EndNoteWeb
    • Экспорт в EndNote
  • Постоянная ссылка
Прверка и утверждение программ реального времени: пер. с англ.

Прверка и утверждение программ реального времени: пер. с англ.

Библиографические подробности
Другие авторы: Квирк Уи. Дж. (редактор)
Язык:русский
Опубликовано: Киев, Наукова думка, 1990
Предметы:
Вычислительные системы реального времени > Программы
реальное время
программы
характеристики
проблемы
надежность
создание
системы
проверка
утверждение
унифицированные среды
структурный анализ
доказательство
тестирование
цели
имитация
Формат: Книга
Запись в KOHA:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241579
  • Фонды
  • Описание
  • Схожие документы
  • Marc-запись
Описание
Объем:214 с. ил.
ISBN:5120003818

Схожие документы

  • Системное программное обеспечение управляющих систем реального времени учебное пособие
    по: Кавалеров М. В.
    Опубликовано: (Пермь, ПНИПУ, 2013)
  • Введение QNX Neutrino 2: руководство для разработчиков приложений реального времени: пер. с англ.
    по: Кертен Р. Роб
    Опубликовано: (СПб., БХВ-Петербург, 2005)
  • Распараллеливание алгоритмов обработки информации в системах реального времени
    по: Грицык В. В. Владимир Владимирович
    Опубликовано: (Киев, Наукова думка, 1981)
  • UML. Проектирование систем реального времени, параллельных и распределенных приложений
    по: Гома Х.
    Опубликовано: (Москва, ДМК Пресс, 2007)
  • Теория и реализация систем реального времени
    Опубликовано: (Москва, Вычислительный центр АН СССР, 1984)