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 HARItem 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
There are no comments on this title.