Taxonomies for the Development and Verification of Digital Systems

Sprache(n): Englisch

ISBN: 978-0-387-24019-0 / 978-0387240190 / 9780387240190

Verlag: Springer US

Erscheinungsdatum: 12.04.2005

Seiten: 180

Auflage: 1

Herausgegeben von Grant Martin, Brian Bailey, Thomas Anderson