ISO/IEC 13817-1-1996 信息技术.程序设计语言及其环境和系统软件接口.Vienna(维也纳)开发方法.规范语言.第1部分:基本语言
时间:2024-05-14 20:32:26 来源: 标准资料网 作者：标准资料网 阅读：9859
【英文标准名称】:Informationtechnology-Programminglanguages,theirenvironmentsandsystemsoftwareinterfaces-Viennadevelopmentmethod-Specificationlanguage-Part1:Baselanguage
【原文标准名称】:信息技术.程序设计语言及其环境和系统软件接口.Vienna(维也纳)开发方法.规范语言.第1部分:基本语言
【标准号】:ISO/IEC13817-1-1996
【标准状态】:现行
【国别】:国际
【发布日期】:1996-12
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:程序设计语言;计算机软件;数据处理;句法;定义;信息技术;人工语言
【英文主题词】:Artificiallanguages;Computersoftware;Dataprocessing;Definition;Definitions;Informationtechnology;Programminglanguages;Syntax
【摘要】:SpecifiesthemodelbasedspecificationlanguageVDM-SL(ViennaDevelopmentMethod-SpecificationLanguage).Containsthemathematicalandinterchangerepresentation,givesthesyntax,thestaticandthedynamicsemantics,andconformityforspecificationandtools.
【中国标准分类号】:L77
【国际标准分类号】:35_060
【页数】:399P.;A4
【正文语种】:英语
【英文标准名称】:Aerospaceseries-HeatresistingalloyNI-PH2301(NiCr21Fe18Mo9)-Nonheattreated-Forgingstock-aorD≤250mm;GermanandEnglishversionEN3668:2006
【原文标准名称】:航空航天系列.FE-PL1501(30CrMo12)型钢.非热处理的.锻件坯料.a或D≤250mm
【标准号】:EN3668-2006
【标准状态】:现行
【国别】:
【发布日期】:2007-04
【实施或试行日期】:
【发布单位】:欧洲标准学会(EN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:航空航天运输;航空运输;飞行器;合金;化学成分;耐腐蚀性;设计;尺寸;锻件坯料;锻件;高温;制造;材料名称;材料;金属;多语种的;镍合金;镍铬;有色金属合金;有色金属;加工工艺;特性;额定值;半成品;航天运输;规范(验收);材料强度;微结构板
【英文主题词】:Aerospacetransport;Airtransport;Aircraft;Alloys;Chemicalcomposition;Corrosionresistance;Design;Dimensions;Forgingstocks;Forgings;Hightemperature;Hightemperatures;Manufacturing;Materialdesignations;Materials;Metals;Multilingual;Nickelalloys;Nickel-chromium;Non-ferrousalloys;Non-ferrousmetals;Productionprocesses;Properties;Ratings;Semi-finishedproducts;Spacetransport;Specification(approval);Strengthofmaterials
【摘要】:
【中国标准分类号】:V11
【国际标准分类号】:49_025_15
【页数】:14P.;A4
【正文语种】:英语
【英文标准名称】:Ophthalmics-Prescriptionophthalmiclenses-Recommendations
【原文标准名称】:眼科.验光用眼科透镜的推荐标准
【标准号】:ANSIZ80.1-1979
【标准状态】:作废
【国别】:
【发布日期】:
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:
【中国标准分类号】:
【国际标准分类号】:
【页数】:
【正文语种】: