Imagen 1 de 1

Foto genérica

Diseño de sistema integrado: modelado, síntesis y verificación por Daniel D. Gajski - Imagen 1 de 1

Embedded System Design : Modeling, Synthesis and Verification by Samar Abdi, Andreas Gerstlauer, Gunar Schirner and Daniel D. Gajski (2009, Hardcover)

Sé el primero enescribir una opinión.

AlibrisBooks (426001)
98,8% de votos positivos

Precio:

USD66,45

Aproximadamente59,59 EUR

+ USD32,48 de envío

Entrega prevista: jue. 10 oct. - mar. 22 oct.

Devoluciones:

30 días para devoluciones. El comprador paga el envío de la devolución.

Estado:

Nuevo

New Hard cover

Ver todos los detalles

Todos los anuncios de este producto

artículo 1 Embedded System Design: Modeling, Synthesis and Verification
15,00 EUR
+15,71 EUR de envío
artículo 2 Embedded System Design by Daniel Gajski
30,73 EUR
+32,00 EUR de envío
artículo 3 EMBEDDED SYSTEM DESIGN: MODELING, SYNTHESIS AND By Daniel D. Gajski & Samar Abdi
34,46 EUR
+28,39 EUR de envío
artículo 4 Embedded System Design: Modeling, Synthesis and Verification (Hardback or Cased
66,28 EUR
+9,79 EUR de envío
artículo 5 Embedded System Design: Modeling, Synthesis and Verification by Daniel D Gajski
59,59 EUR
Último+29,13 EUR de envío
artículo 6 Embedded System Design : Modeling, Synthesis and Verification, Hardcover by G...
61,83 EUR
+32,19 EUR de envío
artículo 7 Embedded System Design : Modeling, Synthesis and Verification, Hardcover by G...
63,29 EUR
+32,23 EUR de envío
artículo 8 Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski
63,30 EUR
+43,14 EUR de envío

Ver todas las 8

Acerca de este artículo

Product Identifiers

Publisher
Springer
ISBN-10
1441905030
ISBN-13
9781441905031
eBay Product ID (ePID)
77435258

Product Key Features

Number of Pages
Xxv, 352 Pages
Language
English
Publication Name
Embedded System Design : Modeling, Synthesis and Verification
Subject
Industrial Design / General, Cad-Cam, Electronics / Circuits / General, Software Development & Engineering / Systems Analysis & Design
Publication Year
2009
Type
Textbook
Subject Area
Computers, Technology & Engineering
Author
Samar Abdi, Andreas Gerstlauer, Gunar Schirner, Daniel D. Gajski
Format
Hardcover

Dimensions

Item Weight
55 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
2009-931042
Dewey Edition
22
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
004.21
Table Of Content
System Design Methodologies.- Modeling.- System Synthesis.- Software Synthesis.- Hardware Synthesis.- Verification.- Embedded Design Practice.
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., This book on embedded systems details how to design a future multiprocessor system consisting of several processors and other components. It covers methodology, design and tool concepts and delves into modeling practice and requirement. Many examples included.
LC Classification Number
TK7867-7867.5

Todavía no hay valoraciones ni opiniones.Todavía no hay valoraciones ni opiniones.

Sé el primero en escribir una opinión.

También te pueden interesar

Diapositiva actual {CURRENT_SLIDE} de {TOTAL_SLIDES}: También te pueden interesar

Comprar por categoría

Imagen 1 de 1

Embedded System Design : Modeling, Synthesis and Verification by Samar Abdi, Andreas Gerstlauer, Gunar Schirner and Daniel D. Gajski (2009, Hardcover)

Todos los anuncios de este producto

artículo 1 Embedded System Design: Modeling, Synthesis and Verification

artículo 2 Embedded System Design by Daniel Gajski

artículo 3 EMBEDDED SYSTEM DESIGN: MODELING, SYNTHESIS AND By Daniel D. Gajski & Samar Abdi

artículo 4 Embedded System Design: Modeling, Synthesis and Verification (Hardback or Cased

artículo 5 Embedded System Design: Modeling, Synthesis and Verification by Daniel D Gajski

artículo 6 Embedded System Design : Modeling, Synthesis and Verification, Hardcover by G...

artículo 7 Embedded System Design : Modeling, Synthesis and Verification, Hardcover by G...

artículo 8 Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski

Acerca de este artículo

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

También te pueden interesar

Libros infantiles y juveniles 2000 - 2009

Libros antiguos y de colección D. H. Lawrence

Libros de literatura infantil y juvenil 2000 - 2009

Libros de texto 2000 - 2009

Libros prácticos y de consulta 2000 - 2009

Libros de texto, educación y referencia 2000 - 2009