信息技术-通用逻辑(CL):基于逻辑的语言族框架

原创来源:北检院    发布时间:2025-01-24 08:34:25    点击数:

全国服务领域:河北、山西、黑龙江、吉林、辽宁、江苏、浙江、安徽、福建、江西、山东、河南、湖北、湖南、广东、海南、四川、贵州、云南、陕西、甘肃、青海、台湾、内蒙古、广西、西藏、宁夏、新疆、北京、天津、上海、重庆、香港、澳门

GB/T 30880-2014

信息技术 通用逻辑(CL):基于逻辑的语言族框架

  • 【发布单位或类别】 CN-GB国家标准
  • 【发布日期】2014-09-03
  • 【CCS分类】L72数据元表示方法
  • 【ICS分类】35.060信息技术用语言

ISO/IEC 24707:2018

信息技术 - 通用逻辑(CL):一个基于逻辑语言的框架

  • 【发布单位或类别】 IX-ISO国际标准化组织
  • 【发布日期】2018-07-16
  • 【CCS分类】信息处理技术
  • 【ICS分类】35.060信息技术用语言

ISO/IEC 24707:2018

信息技术 - 通用逻辑(CL):一个基于逻辑语言的框架

  • 【发布单位或类别】 IX-IEC国际电工委员会
  • 【发布日期】2018-07-16
  • 【CCS分类】
  • 【ICS分类】35.060信息技术用语言

\u0413\u041e\u0421\u0422 \u0420 59791-2021

信息技术 普通逻辑(CL) 一个基于逻辑的语言的框架

  • 【发布单位或类别】 RU-GOST俄罗斯国家标准
  • 【发布日期】
  • 【CCS分类】L70/84
  • 【ICS分类】35.060信息技术用语言

KS X ISO/IEC 24707-2008(2023)

信息技术——公共逻辑(CL):一个基于逻辑的语言家族的框架

  • 【发布单位或类别】 KR-KS韩国标准
  • 【发布日期】2008-12-24
  • 【CCS分类】
  • 【ICS分类】35.060信息技术用语言

KS X ISO/IEC 24707-2008(2018)

信息技术——公共逻辑(CL):一系列基于逻辑的语言的框架

  • 【发布单位或类别】 KR-KS韩国标准
  • 【发布日期】2008-12-24
  • 【CCS分类】
  • 【ICS分类】35.060信息技术用语言

BS ISO/IEC 24707:2018

信息技术 公共逻辑(CL) 一系列基于逻辑的语言的框架

  • 【发布单位或类别】 GB-BSI英国标准学会
  • 【发布日期】2018-07-20
  • 【CCS分类】
  • 【ICS分类】信息技术用语言

BS ISO/IEC 24707:2007

信息技术 公共逻辑(CL) 一系列基于逻辑的语言的框架

  • 【发布单位或类别】 GB-BSI英国标准学会
  • 【发布日期】2007-10-31
  • 【CCS分类】
  • 【ICS分类】信息技术用语言

ISO/IEC 24707:2007

信息技术——公共逻辑(CL):一个基于逻辑的语言家族的框架

  • 【发布单位或类别】 IX-IEC国际电工委员会
  • 【发布日期】2007-09-25
  • 【CCS分类】
  • 【ICS分类】35.060

ISO/IEC 24707:2007

信息技术——公共逻辑(CL):一系列基于逻辑的语言的框架

  • 【发布单位或类别】 IX-ISO国际标准化组织
  • 【发布日期】2007-09-25
  • 【CCS分类】
  • 【ICS分类】35.060

检测流程

1、确认客户委托,寄样。

2、到样之后,确定具体的试验项目以及试验方案。

3、实验室报价。

4、签订保密协议,进行试验。

5、完成试验,确定检测报告

6、后期技术服务

友情提示:暂不接受个人委托测试

以上是关于"信息技术-通用逻辑(CL):基于逻辑的语言族框架"的介绍,如有其他问题可以咨询工程师为您服务!

实验室仪器

实验室仪器

荣誉资质

荣誉资质

信息技术-通用逻辑(CL):基于逻辑的语言族框架

© 2024 北检(北京)检测技术研究院 ALL RIGHTS RESERVED