MICROPROCESSORS AND MICROCOMPUTERS:HARDWARE AND SOFTWARE
1997 年出版565 页ISBN:0132359464
Software engineering for embedded systems methods
practical techniques2013 年出版1150 页ISBN:
Hardware and Software Support for Virtualization
edouard bugnion2017 年出版186 页ISBN: