题名	责任者	出版社	索书号
形式语言与自动机导论	(美) Peter Linz著	机械工业出版社	TP301.2/2
VHDL设计实例与仿真	姜雪松, 吴钰淳, 王鹰等编著	机械工业出版社	TP301.2/3