Specification and Design Methodology for Real-Time Embedded Systems, Randall S. Janka

Автор: Eugenio Villar
Название: Embedded Systems Specification and Design Languages
ISBN: 9048178347 ISBN-13(EAN): 9789048178346
Издательство: Springer
Рейтинг:
Цена: 23757.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`07), in September 2007. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages

Автор: Tom J. Ka?mierski; Adam Morawiec
Название: System Specification and Design Languages
ISBN: 1489994416 ISBN-13(EAN): 9781489994417
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.

Автор: Graham Birtwistle; P.A. Subrahmanyam
Название: VLSI Specification, Verification and Synthesis
ISBN: 1461291976 ISBN-13(EAN): 9781461291978
Издательство: Springer
Рейтинг:
Цена: 16979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987.

Автор: Katalin Tarnay
Название: Protocol Specification and Testing
ISBN: 1468457802 ISBN-13(EAN): 9781468457803
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers.

Автор: Mohamed, Khaled Salah
Название: Ip cores design from specifications to production
ISBN: 3319220349 ISBN-13(EAN): 9783319220345
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection.