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

Ответственность: Болонья С., Эренбергер У., Пур-Вестерхейд П. и др.; Пер. с англ. Стукаленко А. А.; Под ред. Никитина А. И.

Физический носитель: Текст

Год публикации: 1990

Место издания: Киев

Издательство: Наук. думка

Объем: 212,(1)с.

ISBN: 5-12-000381-8

Ключевые слова: Программное обеспечение; Цифровые вычислительные машины;

ББК: 32.973.202-018