ISO/IEC JTC 1/SC 22
| Reģistrācijas numurs (WIID) | Projekta Nr. | Nosaukums | Statuss |
|---|---|---|---|
| 22741 | ISO/IEC 13719-1:1995 | Technologies de l'information — Environnement d'outil courant portable (PCTE) — Partie 1: Spécifications abstraites | Atcelts |
| 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 | 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 | Technologies de l'information — Exigences et lignes directrices pour les spécifications de méthodes d'essai et les mises en oeuvre de méthode d'essai pour mesurer la conformité aux normes POSIX | Atcelts |
| 20208 | ISO/IEC 13210:1994 | Technologies de l'information — Méthodes d'essai pour mesurer la conformité à POSIX | Atcelts |
Attēlo no 311. līdz 320. no pavisam 348 ieraksta(-iem).