стандартизированный
131Z-нотация — (англ. Z notation, произносится /zɛd/)  формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Z нотацию первоначально предложил Жан Реймон Абриаль (Jean Raymond Abrial) в 1977 году …
132Европейский союз — Запрос «EU» перенаправляется сюда; см. также другие значения. Запрос «ЕС» перенаправляется сюда; см. также другие значения. Европейский союз на официальных языках …
