Advances in Formal Design Methods for CAD, Asko Riitahuhta; Fay Sudweeks

Автор: P. Brunet; C. Hoffmann; D. Roller
Название: CAD Tools and Algorithms for Product Design
ISBN: 3540662049 ISBN-13(EAN): 9783540662044
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A look at important new tools and algorithms for future product modeling systems, based on a seminar at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, presented by internationally recognised experts in CAD technology.

Автор: Mandayam Srivas; Albert Camilleri
Название: Formal Methods in Computer-Aided Design
ISBN: 3540619372 ISBN-13(EAN): 9783540619376
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covering computer-aided systems design, this text deals with topics including verification, synthesis and testing.

Автор: P. Brunet; C. Hoffmann; D. Roller
Название: CAD Tools and Algorithms for Product Design
ISBN: 3642085482 ISBN-13(EAN): 9783642085482
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A look at important new tools and algorithms for future product modeling systems, based on a seminar at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, presented by internationally recognised experts in CAD technology.

Автор: Piet Wambacq; Georges Gielen; John Gerrits
Название: Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
ISBN: 1475783965 ISBN-13(EAN): 9781475783964
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This unique book provides an overview of the current state of the art and very recent research results that have been achieved as part of the Low-Power Initiative of the European Union, in the field of analogue, RF and mixed-signal design methodologies and CAD tools.

Автор: Ganesh Gopalakrishnan; Phillip Windley
Название: Formal Methods in Computer-Aided Design
ISBN: 3540651918 ISBN-13(EAN): 9783540651918
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.

Автор: J. Encarnacao
Название: Computer Aided Design Modelling, Systems Engineering, CAD-Systems
ISBN: 3540102426 ISBN-13(EAN): 9783540102427
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Warren A. Jr. Hunt; Steven D. Johnson
Название: Formal Methods in Computer-Aided Design
ISBN: 3540412190 ISBN-13(EAN): 9783540412199
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title reviews computer-aided design. Topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modelling, program semantics, theorem proving, symbolic simulation, and transition systems.