ISO/IEC JTC 1/SC 22
Reģistrācijas numurs (WIID) | Projekta Nr. | Nosaukums | Statuss |
---|---|---|---|
21413 | ISO/IEC 13211-1:1995 | Technologies de l'information — Langages de programmation — Prolog — Partie 1: Noyau général | 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ā |
58033 | ISO/IEC 13211-1:1995/Cor 2:2012 | Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 2 | 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ā |
20775 | ISO/IEC 13211-2:2000 | Technologies de l'information — Langages de programmation — Prolog — Partie 2: Modules | 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ā |
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ā |
22741 | ISO/IEC 13719-1:1995 | Technologies de l'information — Environnement d'outil courant portable (PCTE) — Partie 1: Spécifications abstraites | Atcelts |
29238 | ISO/IEC 13719-1:1995/PDAM 1 | Technologies de l'information — Environnement d'outil courant portable (PCTE) — Partie 1: Spécifications abstraites — Amendement 1 | Izstrādē |
29278 | ISO/IEC 13719-1:1995/PDAM 2 | Information technology — Portable Common Tool Environment (PCTE) — Part 1: Abstract specification — Amendment 2 | Izstrādē |
Attēlo no 31. līdz 40. no pavisam 344 ieraksta(-iem).