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.

Bestandsnummer des Verk�ufers 4759CB

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Embedded System Design. Modeling, Synthesis and Verification.

Verlag

Dordrecht ; New York, Springer.

Erscheinungsjahr

2009

Sprache

Englisch

ISBN-10

1441905030

ISBN-13

9781441905031

Einband

Hardcover

Verk�uferkataloge

Informatik

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den Autor

. System modeling at different abstraction levels

. Model-based system design

. Hardware/Software codesign

. Software and Hardware component synthesis

. System verification

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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 ...

Mehr Information

Versandbedingungen

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.