Embedded system design: modeling, synthesis and verification
Material type: TextLanguage: English Series: Publication details: Springer c2009 Edition: Description: xxiv, 352pISBN: 9781441905031 (HB)Subject(s): EMBEDDED COMPUTER SYSTEMS – DESIGN AND CONSTRUCTIONDDC classification: 004.21 EMBItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 004.21 EMB (Browse shelf(Opens below)) | 1 | Available | 9873 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
004.165 UFF(FAM) The 8086/8088 family: design, programming, and interfacing | 004.21 BIT(USE) Use Case Modelling | 004.21 CLA(MOD) Model Checking | 004.21 EMB Embedded system design: modeling, synthesis and verification | 004.21 LAN(ANA) Analysis and design of information systems | 004.21 SMI(INT) Introduction to queueing networks : theory practice | 004.21 YEA(SYS) System analysis and design |
MD/1/0698/09-10/06-11-09
There are no comments on this title.