【国外标准】 Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)

本网站发布时间：

CAN/CSA-ISO/IEC TR 24718-06
现行
定价： 1593元 / 折扣价： 1355 元
在线阅读

开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！查看详情>>

标准简介

适用范围：

This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.

基本信息

标准号：
CAN/CSA-ISO/IEC TR 24718-06
标准名称：
Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)
英文名称：
Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)
标准状态：
现行
发布日期：
实施日期：
出版语种：
英文

标准分类号

标准ICS号：
35.06
中标分类号：

关联标准

替代以下标准：
被以下标准替代：
引用标准：
采用标准：

出版信息

页数：
96 页
字数：
0 千字
开本：

其他信息

起草人：
起草单位：
归口单位：
提出部门：
发布部门：

其它标准

推荐标准