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. Codice articolo 4759CB

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Embedded System Design. Modeling, Synthesis ...

Casa editrice: Dordrecht ; New York, Springer.

Data di pubblicazione: 2009

Legatura: Rilegato

Descrizione articolo

Riassunto:

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.

Contenuti:

System Design Methodologies.- Modeling.- System Synthesis.- Software Synthesis.- Hardware Synthesis.- Verification.- Embedded Design Practice.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

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

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

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

Condizioni di vendita:

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

Ulteriori informazioni

Condizioni di spedizione:

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.

Metodi di pagamento
accettati dalla libreria

Assegno Pagamento su ricezione fattura Bonifico bancario

Aggiungi ai desiderata

Articoli correlati a Embedded System Design. Modeling, Synthesis and Verification...

Embedded System Design. Modeling, Synthesis and Verification.

Gajski, Daniel D. et al.

Usato - Rilegato

Informazioni sull?azienda del venditore