Основное заглавие: Проверка и утверждение программ реального времени
Ответственность: Болонья С., Эренбергер У., Пур-Вестерхейд П. и др.; Пер. с англ. Стукаленко А. А.; Под ред. Никитина А. И.
Физический носитель: Текст
Год публикации: 1990
Место издания: Киев
Издательство: Наук. думка
Объем: 212,(1)с.
ISBN: 5-12-000381-8
Ключевые слова: Программное обеспечение; Цифровые вычислительные машины;
ББК: 32.973.202-018
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 2317649 | кх | Доступна | - |
При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера