Design and Verification of Microprocessor Systems for High-Assurance Applications David S. Hardin
Material type:
TextPublication details: New York Springer Verlag, Netherlands 2010Description: 436pISBN: 9781441915382Subject(s): Programmable controllers -- Testing | Programmable controllers -- Design and constructionDDC classification: 629.895416 HAR
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 629.895416 HAR (Browse shelf (Opens below)) | Copy 1 | Not for loan | 027405 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 629.8312 XI Modeling and Control for Micro/Nano Devices and Systems | REF 629.892 BOC Construction Robots : elementary technologies and single task construction robots | REF 629.892 JAK Biologically Inspired Approaches for Locomotion, Anomaly Detection and Reconfiguration for Walking Robots | REF 629.895416 HAR Design and Verification of Microprocessor Systems for High-Assurance Applications | REF 658.4 CRO Virtuality and Virtualization | REF 658.403 KAL Soft Computing for Complex Multiple Criteria Decision Making | REF 658.403 SUG Spatial Decision Support Systems: principles and practices |
There are no comments on this title.