Taxonomies for the development and verification of digital systems / edited by Brian Bailey, Grant Martin, Thomas Anderson
Material type:
TextPublication details: New York : Springer, 2005Description: 179 p. : ill. ; 25 cmISBN: - 0387240195
- 9780387240190
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
UMPLIB PEKAN | TK7874.65 .T39 2005 (Browse shelf(Opens below)) | 1 | Available | 0000017725 |