Taxonomies for the Development and Verification of Digital Systems
edited by Brian Bailey, Grant Martin, Thomas Anderson.
Boston, MA : Springer Science+Business Media, Inc., 2005.
v.: digital
ISBN: 9780387240213
Importante! Sobre el catálogo
Boston, MA : Springer Science+Business Media, Inc., 2005.
v.: digital
ISBN: 9780387240213