【英文标准名称】: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
【正文语种】:英语

标准名称：	原油凝点测定法
英文名称：	Test method for gel point of crude oils
替代情况：	替代SYT 0541-1994
发布部门：	国家能源局
发布日期：	2009-12-31
实施日期：	2010-05-01
首发日期：
作废日期：
提出单位：	油气计量及分析方法专业标准化技术委员会
归口单位：	油气计量及分析方法专业标准化技术委员会
起草单位：	中国石油大学（华东）、中国石化华东管道设计研究院、中国石油管道科技研究中心
起草人：	李传宪、杨飞、陈红、陈健
出版社：	石油工业出版社
出版日期：	2010-03-01
页数：	7页

本标准规定了原油凝点的测定方法。
本标准适用于含水质量分数不超过0.5%的原油。

没有内容

没有内容

没有内容