Embedded system design : modeling, synthesis and verification / Daniel D. Gajski ... [et al.].
Material type:
TextPublisher: Dordrecht ; New York : Springer, c2009Description: xxiv, 352 p. : ill. ; 24 cmISBN: 9781441905031(hbk.); 1441905030 (hbk.); 9781441905048 (ebk.); 1441905049 (ebk)Subject(s): Embedded computer systems -- Design and construction | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes SystemDDC classification: 004.21 LOC classification: TK7895.E42 | E614 2009Other classification: 620 | ST 153 | 54.51
| Item type | Current location | Home library | Shelving location | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
School of Mechanical & Manufacturing Engineering (SMME) | School of Mechanical & Manufacturing Engineering (SMME) | General Stacks | 004.21 EMB (Browse shelf) | Available | Rack,50-Shelf,3 | SMME-1860 |
Total holds: 0
Browsing School of Mechanical & Manufacturing Engineering (SMME) shelves, Shelving location: General Stacks Close shelf browser
| 004.165 BRE THE INTEL MICROPROCESSORS \ | 004.165 BRE The Intel Microprocessors \ | 004.165 MAC The 8051 Microcontroller | 004.21 EMB Embedded system design : modeling, synthesis and verification / | 004.33 LIU Real- Time Systems / | 005.73,LIP Schaum's outline of theory and problems of data structures | 005.73,LIP Schaum's outline of theory and problems of data structures |
Includes bibliographical references (p. [335]-347) and index.
Hard binding
There are no comments on this title.