FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN:044488372x
VLSI ELECTRONICS MICROSTRCTURE SCIENCE VOLUME 10 SURFACE AND INTERFACE EFFECTS IN VLSI
NORMAN G.EINSPRUCH POBERT S.BAUER2222 年出版383 页ISBN:0122341104