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, Daniel D. Gajski, Andreas Gerstlauer and Gunar Schirner (2009, Hardcover)

Sé el primero enescribir una opinión.

grandeagleretail (921708)
98,3% de votos positivos

Precio:

USD70,84

Aproximadamente66,32 EUR

+ USD48,10 de envío

Entrega prevista: mié. 10 jul. - lun. 5 ago.

Devoluciones:

30 días para devoluciones. El comprador paga el envío de la devolución. La política depende del servicio de envío.

Estado:

Nuevo

Embedded System Design by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner. Author Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner. Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design.

Ver todos los detalles

Todos los anuncios de este producto

artículo 1 Embedded System Design: Modeling, Synthesis and Verification (Hardback or Cased
63,32 EUR
+10,22 EUR de envío
artículo 2 Embedded System Design : Modeling, Synthesis and Verification, Hardcover by G...
62,17 EUR
+30,41 EUR de envío
artículo 3 Embedded System Design : Modeling, Synthesis and Verification, Hardcover by G...
62,19 EUR
+30,41 EUR de envío
artículo 4 Embedded System Design: Modeling, Synthesis and Verification by Daniel D Gajski
62,20 EUR
Último+30,41 EUR de envío
artículo 5 Embedded System Design by Daniel Gajski
65,18 EUR
+34,38 EUR de envío
artículo 6 Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski
66,32 EUR
+45,03 EUR de envío

Ver todas las 6

Acerca de este artículo

Product Information

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.

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
Publication Year
2009
Subject
Cad-Cam, Industrial Design / General, Electronics / Circuits / General, Software Development & Engineering / Systems Analysis & Design
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
Lc Classification Number
Tk7867-7867.5
Table of Content
System Design Methodologies.- Modeling.- System Synthesis.- Software Synthesis.- Hardware Synthesis.- Verification.- Embedded Design Practice.
Copyright Date
2009

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, Daniel D. Gajski, Andreas Gerstlauer and Gunar Schirner (2009, Hardcover)

Todos los anuncios de este producto

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

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

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

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

artículo 5 Embedded System Design by Daniel Gajski

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

Acerca de este artículo

Product Information

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