|
信息技术 程序设计语言 Ada:语言处理器的一致性评价
Information technology - Programming languages - Ada: Conformity assessment of a language processor
参考页数：25P.;A4
|
|
|
|
|
|
信息技术 程序设计语言 FROTRAN 第2部分:变长字符串
Information technology - Programming languages; Fortran - Part 2: Varying length character strings
参考页数：20P;A4
|
|
|
|
|
|
信息处理系统 开放系统互连 LOTOS并基于暂时排序观察行为的形式描述技术
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
参考页数：142P.;A4
|
|
|
|
|
|
信息技术.测量与POSIX标准的一致性的测试方法规范和测试方法实现的要求和指南
Information technology - Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards
参考页数：86P;A4
|
|
|
|
|
|
信息技术 计算机图形 三维图形核心系统(GKS-3D)语言联编 第4部分:C
Information technology; computer graphics; Graphical Kernel System for three dimensions (GKS-3D) language; part 4: C
参考页数：264P.;A4
|
|
|
|
|
|
程序设计语言处理器 测试方法 开发和可接受性指南
Programming language processors; test methods; guidelines for their development and acceptability
参考页数：10P.;A4
|
|
|
|
|
|
信息技术.程序设计语言.公式转换语言.第1部分:基本语言.技术勘误3
Information technology - Programming languages - Fortran - Part 1: Base language; Technical Corrigendum 3
参考页数：8P.;A4
|
|
|
|
|
|
信息技术.数据库语言.结构化询问语言多媒体和应用包.第2部分:全文本
Information technology - Database languages - SQL multimedia and application packages - Part 2: Full-Text
参考页数：232P;A4
|
|
|
|
|
|
信息技术 程序设计语言 在高集成系统中Ada编程语言的使用指南
Information technology - Programming languages - Guide for the use of Ada programming language in high integrity systems
参考页数：48P;A4
|
|
|
|
|
|
信息技术.Z格式规范标志法.语法,形式系统和语义学
Information technology - Z formal specification notation - Syntax, type system and semantics
参考页数：189P;A4
|
|
|
|
|
