中华人民共和国国家标准 GB/T 16264.1-1996 idt ISO/IEC 9594-1:1990 信息处理 开放系统互联 目录 第1部分:概念、模型和服务的概述=INFORMATI
MODELS AND SERVICES2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
Fuzzy cluster analysis : methods for classification
data analysis1999 年出版289 页ISBN:
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN: