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

Global Specification and Validation of Embedded Systems, G. Nicolescu; Ahmed A. Jerraya


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

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

Автор: G. Nicolescu; Ahmed A. Jerraya
Название:  Global Specification and Validation of Embedded Systems
ISBN: 9789048175505
Издательство: Springer
Классификация:






ISBN-10: 904817550X
Обложка/Формат: Paperback
Страницы: 148
Вес: 0.24 кг.
Дата издания: 19.10.2010
Язык: English
Размер: 234 x 156 x 9
Основная тема: Engineering
Подзаголовок: Integrating Heterogeneous Components
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components.


Advances in Design and Specification Languages for Embedded Systems

Автор: Sorin Alexander Huss
Название: Advances in Design and Specification Languages for Embedded Systems
ISBN: 9048175496 ISBN-13(EAN): 9789048175499
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.

Designing Embedded Systems with PIC Microcontrollers,

Автор: Tim Wilmshurst
Название: Designing Embedded Systems with PIC Microcontrollers,
ISBN: 1856177505 ISBN-13(EAN): 9781856177504
Издательство: Elsevier Science
Рейтинг:
Цена: 6399.00 р.
Наличие на складе: Поставка под заказ.

Описание: PIC microcontrollers are used worldwide in commercial and industrial devices. This title focuses on the 8-bit PIC which is a versatile work horse that completes many designs. It takes you from introduction of embedded systems through to advanced development techniques for utilizing and optimizing the PIC family of microcontrollers in your device.

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC`s

Автор: Dominique Borrione
Название: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC`s
ISBN: 940073333X ISBN-13(EAN): 9789400733336
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip.

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

Автор: Hideto Hidaka
Название: Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
ISBN: 3319553054 ISBN-13(EAN): 9783319553054
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book provides a comprehensive introduction to embedded flash memory, describing the history, current status, and future projections for technology, circuits, and systems applications. The authors describe current main-stream embedded flash technologies from floating-gate 1Tr, floating-gate with split-gate (1.5Tr), and 1Tr/1.5Tr SONOS flash technologies and their successful creation of various applications. Comparisons of these embedded flash technologies and future projections are also provided. The authors demonstrate a variety of embedded applications for auto-motive, smart-IC cards, and low-power, representing the leading-edge technology developments for eFlash. The discussion also includes insights into future prospects of application-driven non-volatile memory technology in the era of smart advanced automotive system, such as ADAS (Advanced Driver Assistance System) and IoE (Internet of Everything). Trials on technology convergence and future prospects of embedded non-volatile memory in the new memory hierarchy are also described.

  • Introduces the history of embedded flash memory technology for micro-controller products and how embedded flash innovations developed;
  • Includes comprehensive and detailed descriptions of current main-stream embedded flash memory technologies, sub-system designs and applications;
  • Explains why embedded flash memory requirements are different from those of stand-alone flash memory and how to achieve specific goals with technology development and circuit designs;
  • Describes a mature and stable floating-gate 1Tr cell technology imported from stand-alone flash memory products - that then introduces embedded-specific split-gate memory cell technologies based on floating-gate storage structure and charge-trapping SONOS technology and their eFlash sub-system designs;
  • Describes automotive and smart-IC card applications requirements and achievements in advanced eFlash beyond 4
0nm node.

Specification and Design Methodology for Real-Time Embedded Systems

Автор: Randall S. Janka
Название: Specification and Design Methodology for Real-Time Embedded Systems
ISBN: 1461352630 ISBN-13(EAN): 9781461352631
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.

Formal Specification and Synthesis of Procedural Controllers for Process Systems

Автор: Arturo Sanchez
Название: Formal Specification and Synthesis of Procedural Controllers for Process Systems
ISBN: 3540760210 ISBN-13(EAN): 9783540760214
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design.

Languages for Embedded Systems and their Applications

Автор: Martin Radetzki
Название: Languages for Embedded Systems and their Applications
ISBN: 9048181917 ISBN-13(EAN): 9789048181919
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL `08, the top international conference specializing in this field.


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