Results (
Japanese) 3:
[Copy]Copied!
zは1980年頃オックスフォード大学でプログラミングの研究グループが開発した仕様記述言語である。zコンピューティングシステムのモデリングと記述するために用いられる。それは公理的集合論と一階述語論理に基づいています。ベン・ポッター、ジェーン・シンクレア、デイビッド・まで形式的仕様への導入とz1991年(プレンティスホール)ジョナサン・ジャッキーzのように(ケンブリッジ大学プレス)1997年
Being translated, please wait..