資料詳細

【図書】 ソフトウェア仕様記述の先進技法－Ｚ言語

Ｂ．ポター／〔ほか〕著, 田中武二／監訳, 　 -- トッパン -- １９９３．９ -- ２１ｃｍ -- ３２１ｐ

タイトル	ソフトウェア仕様記述の先進技法－Ｚ言語
著者名等	Ｂ．ポター／〔ほか〕著, 田中武二／監訳,
出版	トッパン１９９３．９
大きさ等	２１ｃｍ３２１ｐ
分類	007.63
件名	プログラミング（電子計算機）
注記	Ａｎ　ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｆｏｒｍａｌ　ｓｐｅｃｉｆｉｃａｔｉｏｎ　ａｎｄ　Ｚ．／の翻訳
内容	参考文献：ｐ３１１－３１３　訳者による文献ガイド：ｐ３１５－３１６
目次	形式的仕様記述とは―ソフトウェア工学の観点；論理と集合論の手引き；仕様記述―最初の例；Ｚの表記法（数学的言語；関係と関数；スキーマと仕様構造）；もう一度最初の例を見る；形式的推論；仕様からプログラムへ（データと演算の詳細化；操作の分割）；理論から実際へ；Ｚの構文規則
ISBN(13)、ISBN	4-8101-8563-X
書誌番号	1193033715
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1193033715

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/4844	一般書	利用可	-	0005638500