题名:
UAHPL硬件描述语言形式验证初探   / 柳靖著 ,
语种:
chi
载体形态:
56页 插图 26cm
出版发行:
出版地: 长沙 出版社: 国防科技大学研究生院 出版日期: 1992
主要责任者:
柳靖
附注:
指导教师:李思?教授 
索书号:
1