ISO/IEC JTC 1/SC 22
Registration number (WIID) | Project No. | Title | Status |
---|---|---|---|
21413 | ISO/IEC 13211-1:1995 | Information technology — Programming languages — Prolog — Part 1: General core | 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 | Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 3 | Standarts spēkā |
20775 | ISO/IEC 13211-2:2000 | Information technology — Programming languages — Prolog — Part 2: Modules | Standarts spēkā |
21573 | ISO/IEC 13568:2002 | Information technology — Z formal specification notation — Syntax, type system and semantics | 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 | Information technology — Portable Common Tool Environment (PCTE) — Part 1: Abstract specification | Atcelts |
29238 | ISO/IEC 13719-1:1995/PDAM 1 | Information technology — Portable Common Tool Environment (PCTE) — Part 1: Abstract specification — Amendment 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ē |
Displaying 31-40 of 345 results.