+7 (495) 781-19-12 интернет-магазин
Новый покупатель?
Зарегистрируйтесь здесь
Зарегистрированы?
Войти
Ваша корзина пуста
Оплата и доставка Скидки Есть вопрос?
    Расширенный поиск
К Вашим услугам
Издательский дом «Библио-Глобус»
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.

Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием

Чэнь М.

Артикул: 9999787 Серия:

Мир радиоэлектроники

Дата издания: 2014

ISBN: 9785948363653 Об издании: [пер. с англ. Е. Б. Махияновой ; под ред. А. Н. Ланцева] Издатель/Изготовитель:

Техносфера

Переплёт: Твердый переплет Размер: 25 X 17,5 см. Вес: 555 г. Количество страниц: 294

Аннотация: В этой книге описываются методы высокоуровневого моделирования и верификации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами. Читатели узнают, как избежать затрат времени и ошибок при всесторонней и системной верификации, в том числе при моделировании конструкций систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках верификации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество верификации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на верификации систем в целом. Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.
Цена со скидкой: 551,20 руб.
Цена магазина: 689,00 руб.
В наличии
С этим товаром покупают:
В наличии
100% предоплата
Предзаказ
Компьютерный букварь для ржавых чайников

Левина Л. Т.

Количество страниц: 172
339,00 руб.
 
В наличии
100% предоплата
Предзаказ
Программирование на языке Python

Седжвик Р.

Количество страниц: 736
1 649,00 руб.
 
В наличии
100% предоплата
Предзаказ
Планшеты и смартфоны на Android : Простой и понятный самоучитель

Леонов В.

Количество страниц: 349
139,00 руб.
 
Наш адрес: Россия, 101990, г. Москва, ул. Мясницкая, д. 6/3, стр. 1, Торговый Дом «БИБЛИО-ГЛОБУС».
Телефон: (495) 781-19-12 e-mail: web.logist@bgshop.ru
Время работы службы выдачи заказов: пн. – пт. 10:00 – 22:00, сб. – вс. 10:00 – 21:00.
Информационное наполнение © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.
Разработка и поддержка © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.