Design and Verification of Microprocessor Systems for High-Assurance Applications
David S. Hardin
creator
text
xx
2010
Springer eBooks
9999
monographic
und
Eng
lis
h
9781441915399
http://link.springer.com/openurl?genre=book&isbn=978-1-4419-1539-9
http://link.springer.com/openurl?genre=book&isbn=978-1-4419-1539-9
211112