韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
王晓红主编(西安外国语大学英文学院)2004 年出版386 页ISBN:7506262614
本套丛书从功能、情景和行业的角度着眼,内容基本涉及到了社会生活的各个方面,具有广泛、系统、新颖、实用的特点,适合大专院校学生、三资企业人员及出国留学人员使用。...
王晓红主编;南健?编(西安外国语大学英文学院)2004 年出版233 页ISBN:7506262614
本套丛书从功能、情景和行业的角度着眼,内容基本涉及到了社会生活的各个方面,具有广泛、系统、新颖、实用的特点,适合大专院校学生、三资企业人员及出国留学人员使用。...