返回首页 联系帮助
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
下载此书RAR压缩包在线购买PDF电子书
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
CHEMICAL REACTION ANALYSIS
EUGENE E. PETERSEN1965 年出版276 页ISBN：
MUCOPOLYSACCHARIDES: CHEMICAL STRUCTURE
DISTRIBUTION AND ISOLATION1964 年出版181 页ISBN：
Soil Chemical Analysis
M.L.Jackson1958 年出版498 页ISBN：
The Chemical Industry
C.A.Heaton1986 年出版359 页ISBN：
CLINCIAL CHEMICAL PATHOLOGY
C.H.GRAY1953 年出版138 页ISBN：
Modern Chemical Science
JACK E.FERNANDEZ1971 年出版288 页ISBN：
Chemical Separation Methods
John A.Dean2222 年出版398 页ISBN：
Chemical Infrared Spectroscopy
W.J.POTTS2222 年出版322 页ISBN：
MECHANICAL DESIGN OF PROCESS SYSTEMS VOLUME 1
2222 年出版373 页ISBN：0884151867
