ISO/IEC JTC 1/SC 22
| Reģistrācijas numurs (WIID) | Projekta Nr. | Nosaukums | Statuss |
|---|---|---|---|
| 21573 | ISO/IEC 13568:2002 | Technologies de l'information — Notation Z pour la spécification formelle — Syntaxe, système de caractères et sémantique | Standarts spēkā |
| 20775 | ISO/IEC 13211-2:2000 | Technologies de l'information — Langages de programmation — Prolog — Partie 2: Modules | Standarts spēkā |
| 73194 | ISO/IEC 13211-1:1995/Cor 3:2017 | Technologies de l'information — Langages de programmation — Prolog — Partie 1: Noyau général — Rectificatif technique 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 | Technologies de l'information — Langages de programmation — Prolog — Partie 1: Noyau général | 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 | Standarts spēkā |
| 20208 | ISO/IEC 13210:1994 | Information technology — Test methods for measuring conformance to POSIX | Atcelts |
| 2345 | ISO/IEC 12227:1995 | Technologies de l'information — Langages de programmation — Langage de description de modules SQL/Ada (SAMeDL) | Atcelts |
| 29268 | ISO/IEC 11756:1999 | Technologies de l'information — Langages de programmation — M | Standarts spēkā |
Attēlo no 311. līdz 320. no pavisam 346 ieraksta(-iem).