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

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

ГРНТИ	УДК
50.05.13	004.416.2

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

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

Имеются экземпляры в отделах: всего 5 : ХР (2), ФО18 (1), ФО20 (1), ФО25 (1)
Свободны: ХР (2), ФО18 (1), ФО20 (1), ФО25 (1)

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