FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN：0444886885
Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN：0444853944
FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN：044488372x
THE SCIENCE OF LINGUISTICS IN THE ART OF TRANSLATION SOME TOOLS FROM LINGUISTICS FOR THE ANALYSIS AN
JOSEPH L. MALONE1988 年出版241 页ISBN：
Formal Models of Computation The Ultimate Limits of Computing
Arthur Fleck2001 年出版532 页ISBN：
Concept Lattices Second International Conference on Formal Concept Analysis
ICFCA 20042004 年出版411 页ISBN：3540210431
ARGUMENTS，STORIES AND CRIMINAL EVIDENCE A FORMAL HYBRID THEORY
FLORIS J.BEX2011 年出版292 页ISBN：
产业技术路线图 广东科技管理创新实践 the innovative practice of science and technology management in Guangdong
李兴华主编2008 年出版214 页ISBN：9787535948090
本书介绍了产业技术路线图制作的原理、原则基本结构及方法，同时还列举了广东省无铅、建陶、铝、工业产品环境适应性、国家重点实验室等实例。...
