根據經文回答最後的問題.  Z符號是用於描述和建模計算系統的正式規格語言. 這項計畫主要針對電腦程式和一般的電腦系統的明確規範.  在1974年, 他使用的符號在格林諾布林大學教學至1980年代末. 在法國電力公司 (EDF) 工作時,  這項概念最初由阿布裡亞爾在 1977 年提出, 在1980年代初阿布裡亞爾在牛津大學的程式設計研究小組進一步開發,  雖然"Zermelo"這個名字也與Z記號有關, 因為它使用了Zermelo<unk>Fraenkel的集合理論.  Z是基於標準的數學符號, 在公理集合理論, 蘭達微積分, 和第一順序命題<unk>輯中使用. 這樣就避免了一些天真集合論的悖論. 包含常用數學函式和命題的標準化目錄 (稱為"數學工具包").  一,他們 這篇文章是關於哪個電腦系統? 2. 我們的國家 這項計畫的目標是什麼? 三,我們要如何? 這是誰所創造的? 4. 沒有任何問題. 他在1974年出版了什麼? 五個國家 這種記法在哪裡教? 六個國家 哪本書使用這個符號? 7 年. 這本書何時出版? 八個國家 他是誰幫助他創造的? 沒有. 其他誰? 十個國家. 這項技術是在哪裡研發的? 十一號 這名字來自於什麼?  數字化答案:
一,他們 Z表示 2.電腦程式的明確規格 三,我們要如何? 歐巴馬的國家 4. 沒有任何問題. 資料語義 五個國家 格林諾布林大學 六個國家 程式化方法 7 年. 1980 年 八個國家 史蒂夫·舒曼 沒有. 柏特蘭·梅耶 十個國家. 牛津大學 11. 它使用塞爾梅洛和弗朗克爾集合論