Полное описание

Проверка и утверждение программ реального времени / С.Болонья,У.Эренбергер,П.Пур-Вестерхейд и др.;Пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина. - Киев : Наук. думка, 1990. - 213 c. : ил. - Пер. изд. : Verification and validation of real-time software . - 1986. - Berlin et аl. - 1400 экз. - ISBN 5-12-000381-8. - Текст : непосредственный.
Авт. указаны перед вып. дан. Библиогр.: с. 194-210

ГРНТИ	УДК
50.05.13	004.416.2

Рубрики:
Программы для ЭВМ -- Отладка

Кл.слова (ненормированные): ОТЛАДКА -- ПРОГРАММА -- ЭВМ
Доп. точки доступа:
Болонья, С.
Эренбергер, У.
Пур-Вестерхейд, П.
Никитин, А.И.\ред.\
Стукаленко, А.А.\пер.\

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д7-90/76409)

Шифр в сводном ЭК: daee5110cf7ff8a4db5e963e7687e2c9

Заказать издание
Заказ фрагмента документа