Design and Verification of Microprocessor Systems for High-Assurance Applications
by
David S. Hardin
Hardcover
details (
USA
).
ISBN: 978-1-4419-1538-2
ISBN-10: 1-4419-1538-9
Springer
· 2010
See also:
2014
Paperback
Design and Verification of Microprocessor Systems for High-Assurance Applications