Reģistrācijas numurs (WIID)Projekta Nr.NosaukumsStatuss
21413ISO/IEC 13211-1:1995Technologies de l'information — Langages de programmation — Prolog — Partie 1: Noyau généralStandarts spēkā
50405ISO/IEC 13211-1:1995/Cor 1:2007Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 1Standarts spēkā
58033ISO/IEC 13211-1:1995/Cor 2:2012Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 2Standarts spēkā
73194ISO/IEC 13211-1:1995/Cor 3:2017Technologies de l'information — Langages de programmation — Prolog — Partie 1: Noyau général — Rectificatif technique 3Standarts spēkā
20775ISO/IEC 13211-2:2000Technologies de l'information — Langages de programmation — Prolog — Partie 2: ModulesStandarts spēkā
21573ISO/IEC 13568:2002Technologies de l'information — Notation Z pour la spécification formelle — Syntaxe, système de caractères et sémantiqueStandarts spēkā
46112ISO/IEC 13568:2002/Cor 1:2007Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1Standarts spēkā
22741ISO/IEC 13719-1:1995Technologies de l'information — Environnement d'outil courant portable (PCTE) — Partie 1: Spécifications abstraitesAtcelts
29238ISO/IEC 13719-1:1995/PDAM 1Technologies de l'information — Environnement d'outil courant portable (PCTE) — Partie 1: Spécifications abstraites — Amendement 1Izstrādē
29278ISO/IEC 13719-1:1995/PDAM 2Information technology — Portable Common Tool Environment (PCTE) — Part 1: Abstract specification — Amendment 2Izstrādē
Attēlo no 31. līdz 40. no pavisam 344 ieraksta(-iem).