Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

З973
П782Болонья, С.
    Проверка и утверждение программ реального времени [Текст] = Verfication and Validation of Real-Time Software : монография / переводл с англ.: Стукаленко А. А., под ред.: Никитина А. И. — Киев : Наукова думка, 1990. — 216 с. : ил. 48 + табл. 3.

- Ключові слова:

машина електронна обчислювальна, ЕОМ, машина электронная вычислительная, ЭВМ, electronic computer

- Анотація:

Монография посвящена проблеме повышения надежности программного обеспечения систем реального времени путем проверки внутренней правильности на основе структурного анализа программ аналитическими методами.

- Теми документа

  • ББК науковий // Електронні обчислювальні машини та пристрої дискретної дії. Цифрові ЕОМ



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 1 Перейти на сайт