VLSI Electronics Microstucture Science Volume 14 VLSI Design
Norman G.Einspruch1986 年出版202 页ISBN:
Current Trends in Linguistics Volume III Theoretical Foundations
Thomas A.Sebeok1966 年出版537 页ISBN:
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