Автор: 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.
Описание: 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.
Описание: 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.
Автор: Eugenio Villar; Jean Mermet Название: System Specification & Design Languages ISBN: 1441953485 ISBN-13(EAN): 9781441953483 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows.
Автор: 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.
Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Описание: 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.
Автор: Daniel D. Gajski; Jianwen Zhu; Rainer D?mer; Andre Название: SPECC: Specification Language and Methodology ISBN: 1461370361 ISBN-13(EAN): 9781461370369 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: SpecC Specification Language and Methodology will be of interest to researchers, designers, and managers dealing with system-level design, design flows and methodologies as well as students learning system specification, modeling and design.
Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic Название: Logic and Algebra of Specification ISBN: 3642634486 ISBN-13(EAN): 9783642634482 Издательство: Springer Рейтинг: Цена: 26552.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
