Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Brian Bailey Grant Martin Thomas Anderson
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
(2005). Hardware-Dependent Software. In: Bailey, B., Martin, G., Anderson, T. (eds) Taxonomies for the Development and Verification of Digital Systems. Springer, Boston, MA. https://doi.org/10.1007/0-387-24021-7_5
Download citation
DOI: https://doi.org/10.1007/0-387-24021-7_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-24019-0
Online ISBN: 978-0-387-24021-3
eBook Packages: EngineeringEngineering (R0)