ISO/IEC JTC 1/SC 22
| Registration number (WIID) | Project No. | Title | Status |
|---|---|---|---|
| 46112 | ISO/IEC 13568:2002/Cor 1:2007 | Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1 | Standarts spēkā |
| 21573 | ISO/IEC 13568:2002 | Information technology — Z formal specification notation — Syntax, type system and semantics | Standarts spēkā |
| 20775 | ISO/IEC 13211-2:2000 | Information technology — Programming languages — Prolog — Part 2: Modules | Standarts spēkā |
| 73194 | ISO/IEC 13211-1:1995/Cor 3:2017 | Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 3 | Standarts spēkā |
| 58033 | ISO/IEC 13211-1:1995/Cor 2:2012 | Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 2 | Standarts spēkā |
| 50405 | ISO/IEC 13211-1:1995/Cor 1:2007 | Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 1 | Standarts spēkā |
| 21413 | ISO/IEC 13211-1:1995 | Information technology — Programming languages — Prolog — Part 1: General core | Standarts spēkā |
| 29144 | ISO/IEC 13210:1999 | Information technology — Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards | Atcelts |
| 20208 | ISO/IEC 13210:1994 | Information technology — Test methods for measuring conformance to POSIX | Atcelts |
| 2345 | ISO/IEC 12227:1995 | Information technology — Programming languages — SQL/Ada Module Description Language (SAMeDL) | Atcelts |
Displaying 311-320 of 347 results.