标准名称：	广东省烟叶生产物资采购及质量控制规程
发布部门：	中国烟草总公司广东省公司
发布日期：	2011-05-31
实施日期：	2011-05-31
首发日期：
作废日期：
出版社：	中国标准出版社
出版日期：	2011-05-31
页数：	12页

本标准规定了广东省烟用物资采购、到货验收及质量控制。
本标准适用于广东省烟叶产区组织烟用生产物资的采购和质量控制。

没有内容

没有内容

没有内容

【英文标准名称】:StandardfortheFunctionalVerificationLanguage'e'
【原文标准名称】:功能性验证语言'e'的标准
【标准号】:ANSI/IEEE1647-2006
【标准状态】:作废
【国别】:美国
【发布日期】:2006-08-08
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:IEEE
【标准类型】:()
【标准水平】:()
【中文主题词】:定义;设计;电子的;相互作用;语言;图书馆;程序设计语言;语义学;模拟;句法;验证
【英文主题词】:Definition;Design;Electronic;Interaction;Languages;Libraries;Programminglanguages;Semantics;Simulation;Syntax;Verification
【摘要】:Definesthe'e'functionalverificationlanguage.The'e'functionalverificationlanguageisanapplication-specificlanguage,aimedatautomatingthetaskofverifyingelectronicdesignswithrespecttotheirspecifications.Aimstoserveasanauthoritativesourceforthedefinitionofa)syntaxandsemanticsof'e'languageconstructs,b)the'e'languageinteractionwithstandardsimulationlanguages,c)'e'languagelibraries.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语