Вид документа : Однотомное издание Шифр издания : З97/В 15 Автор(ы) : Чэнь, Минсон, Цинь, Ксяоке, Ку, Хеон-Мо, Мишра, Прабхат Заглавие : Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием : монография Выходные данные : Москва: Техносфера, 2014 Колич.характеристики :294 с Серия: Мир радиоэлектроники Перевод издания: System-Level Validation. Higt level Modeling and Derected Test Generation Techniques. -New York, 2013 Примечания : Библиогр. в конце глав. - Предм. указ.: с. 289-294 ISBN, Цена 978-5-94836-365-3: 836.00 р. ГРНТИ : 50 ББК : З973 Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Чэнь, Минсон; Цинь, Ксяоке; Ку, Хеон-Мо; Мишра, Прабхат; Ланцев, А. Н. \ред.\; Махиянова, Е. Б. \пер.\