XXIV, 352 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband besto�en, daher M�ngelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Seller Inventory # 4759CB

Contact seller

Report this item

Bibliographic Details

Title

Embedded System Design. Modeling, Synthesis and Verification.

Publisher

Dordrecht ; New York, Springer.

Publication Date

2009

Language

English

ISBN 10

1441905030

ISBN 13

9781441905031

Binding

Hardcover

Seller catalogs

Informatik

About this title

Synopsis

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail:

. System modeling at different abstraction levels

. Model-based system design

. Hardware/Software codesign

. Software and Hardware component synthesis

. System verification

This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.

About the Author

. System modeling at different abstraction levels

. Model-based system design

. Hardware/Software codesign

. Software and Hardware component synthesis

. System verification

"About this title" may belong to another edition of this title.

Store Description

Das Antiquariat im Hufelandhaus geh�rt zu den groessten wissenschaftlichen Antiquariaten in Europa. Wir sind als Mitglied des Verbandes Deutscher Antiquare regelm�ssig auf Antiquariatsmessen vertreten. Der umfangreiche Bestand, ca. 40.000 B�cher, hat seinen Schwerpunkt in der Medizin des 19. Jahrhunderts. J�hrlich erscheinen 8-10 Antiquariatskataloge zu einzelnen Sachgebieten. Diese Kataloge stellen jeweils nur eine Auswahl aus unseren Buchbest�nden dar. Desweiteren erscheint j�hrlich der Preiskatalog mit den zur�ckliegenden Jahrg�ngen/Back Volumes der Zeitschriften des wissenschaftlichen Springer-Verlages. Wir sind jederzeit am Ankauf von Bibliotheken und Einzelwerken interessiert. Auf Wunsch erfolgt eine Besichtigung vor Ort. Antiquariat im Hufelandhaus GmbH HRB 80262 B, Amtsgericht Berlin-Charlottenburg Ust.Id.Nr. DE 222395865

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Universit�tsbuchhandlung Herta Hold GmbH
Dorotheenstra�e 16, Berlin, 10117, Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Lieferungs- und Zahlungsbedingungen der Fa. Antiquariat im Hufelandhaus GmbH vorm. Lange & Springer

Geltungsbereich

Die nachfolgenden Allgemeinen Gesch�ftsbedingungen gelten ausschlie�lich f�r die Internet-Gesch�ftsbeziehung der Antiquariat im Hufelandhaus GmbH vorm. Lange & Springer (nachfolgend H�ndler genannt). Ma�geblich ist die zum Zeitpunkt der Bestellung geltende Fassung. Abweichende Vereinbarungen/ Bedingungen der Bestellerin/ des Bestellers bed�rfen zu ihrem Anerkenntnis der ...

More Information

Shipping Terms

Versandkosten

Die Versandkosten sind vom Besteller zus�tzlich zu dem Kaufpreis zu zahlen.

Die H�he der anfallenden Versandkosten ist bei der Artikelbeschreibung und den Preisangaben der ausgew�hlten Ware zu finden.

Im Falle der Aus�bung des Widerrufsrechts gelten folgende Versandkostenregelungen f�r die R�cksendung der Ware (Auszug aus dem Widerrufsrecht):

Sie haben die Waren unverz�glich und in jedem Fall sp�testens binnen vierzehn Tagen ab dem Tag, an dem Sie uns �ber den Widerruf dieses Vertrags unterrichten, an uns zur�ckzusenden oder zu �bergeben, Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der R�cksendung der Waren.

Die Ware wird in der Regel innerhalb von 2 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	30 to 60 business days	30 to 60 business days
First item	US$ 35.05	US$ 35.05

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.