Taxonomies for the Development and Verification of Digital Systems [electronic resource] / edited by Brian Bailey, Grant Martin, Thomas Anderson.
E-book
Electronic resources
Record details
- ISBN: 9780387240213
- Physical Description: XX, 179 p. online resource.
- Publisher: Boston, MA : Springer US, 2005.