Taxonomies for the Development and Verification of Digital Systems

Development

by: Brian Bailey · Grant Martin · Thomas Anderson

Hardcover

ISBN: 978-0-387-24019-0

ISBN-10: 0-387-24019-5

Springer · 2005