Embedded system design : modeling, synthesis and verification / by Daniel D. Gajski ... [et al.].
Material type:
TextPublication details: New Delhi: Springer, 2013Description: xxiv, 352 p. : ill. ; 24 cmISBN: 9781441905031(pbk.)Subject(s): Embedded computer systems -- Design and construction | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes SystemDDC classification: 004.21 | Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Namal Library Computer Science | 004.21 GAJ-E 2013 6128 (Browse shelf (Opens below)) | Available | 0006128 |
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.21 BUR-B 2003 1682 Beginning programming with java for dummies / | 004.21 BUR-S 1992 8905 Systems analysis, design, and implementation | 004.21 CHA-C 2008 4179 Computer organization and design | 004.21 GAJ-E 2013 6128 Embedded system design : | 004.21 GAR-W 2009 11590 Workbook on aystems analysis & design / | 004.21 GAR-W 2009 11591 Workbook on aystems analysis & design / | 004.21 GEO-E 2004 1463 Essential of system analysis and design / |
Includes bibliographical references (p. [335]-347) and index.
Chapter 1: Introduction------------------------------
Chapter 2: System Design Methodologies-------------------------
Chapter 3: Modeling-----------------------------
Chapter 4: System synthesis------------------------
Chapter 5: Software Synthesis----------------------------
Chapter 6: Hardware Synthesis---------------------------
Chapter 7: Verification--------------------------
Chapter 8: Embedded Design Practice-------------------------
There are no comments on this title.