Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Verification Techniques for System-Level Design,, Masahiro Fujita


Варианты приобретения
Цена: 10441.00р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Masahiro Fujita
Название:  Verification Techniques for System-Level Design,
ISBN: 9780123706164
Издательство: Elsevier Science
Классификация:

ISBN-10: 0123706165
Обложка/Формат: Hardback
Страницы: 256
Вес: 0.67 кг.
Дата издания: 12.12.2007
Серия: Systems on silicon
Язык: English
Размер: 234.70 x 194.10 x 21.80
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Европейский союз
Описание: Explains how to verify SoC logic designs using `formal` and `semi-formal` verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.


Electronics System Design Techniques for Safety Critical Applications

Автор: Luca Sterpone
Название: Electronics System Design Techniques for Safety Critical Applications
ISBN: 1402089783 ISBN-13(EAN): 9781402089787
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addresses the development of techniques for the evaluation and the hardening of designs implemented on SRAM-based Field Programmable Gate Arrays. This title presents a design methodology solving industrial designer`s needs for implementing electronic systems using SRAM-based FPGAs in critical environments, like the space or avionic ones.

Electronics System Design Techniques for Safety Critical Applications

Автор: Luca Sterpone
Название: Electronics System Design Techniques for Safety Critical Applications
ISBN: 9048180414 ISBN-13(EAN): 9789048180417
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Electronic systems are increasingly used in safety applications such as anti-lock brakes and biomedical supports in human care. This book offers a new series of algorithms and techniques to be used for the design and evaluation of these systems.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия