根據文字回答最後的問題.  Z符號是一種用於描述和建模計算系統的正式規範語言. 它針對計算機程式和計算機系統的明確規範.  在1974年,Jean-Raymond Abrial發表了"資料語義學". 他使用了後來在格勒諾布林大學教的符號,直到20世紀80年代末. 在法國電力公司 (EDF) 任職期間,阿布里亞爾對Z編寫了內部筆記.Z符號在1980年出版的"程式設計方法"中使用.  Z最初是由阿布里亞爾於1977年在史蒂夫·舒曼和伯特蘭·邁耶的幫助下提出的. 它在牛津大學的程式設計研究小組進一步發展,阿布里亞爾在20世紀80年代初在那裡工作,並於1979年9月抵達牛津.  阿布里亞爾說Z被命名為"因為它是最終的語言!"儘管Zermelo的名字也與Z符號有關,因為它使用了Zermelo<unk>Fraenkel集合理論.  Z是基於公理集合論,蘭巴達微積分和第一階命題邏輯中使用的標準數學符號. 在Z符號中,所有表示式都是型別化的,從而避免了一些天真集合論的悖論. Z包含一個標準化目錄 (稱為"數學工具包") 的常用的數學函式和命題,定義使用Z本身.  一個. 這篇文章是關於哪個計算機系統的? 2. 沒有 它的目標是什麼? 3. 沒有. 誰創造了它? 4. 沒有 他在1974年出版了什麼? 五個 記號是在哪裡學習的? 六個 哪本書使用這個符號? 七個 這本書是什麼時候出版的? 沒有. 誰幫助他建立它? 9. 沒有 沒有別的 十個 在哪裡開發? 十一個. 為什麼它有這個名字?  編號的答案:
一個. Z表示 2. 計算機程式的明確規範 3. 沒有. 讓·雷蒙·阿布里亞爾 4. 沒有 資料語義 五個 格勒諾布林大學 六個 程式設計方法 七個 1980 年 沒有. 史蒂夫·舒曼 9. 沒有 貝特蘭·邁耶 十個 牛津大學 11. 它使用了澤梅洛和弗蘭克爾的集合理論