| ISBN |
4-8101-8563-X
|
| タイトル |
ソフトウェア仕様記述の先進技法-Z言語
|
| タイトルカナ |
ソフトウェア シヨウ キジュツ ノ センシン ギホウ ゼット ゲンゴ
|
| 著者名 |
B.ポター
／[ほか]著,
田中 武二
／監訳
|
| 著者名典拠番号 |
120001613920000
,
110000621800000
|
| 出版地 |
東京
|
| 出版者 |
トッパン
|
| 出版者カナ |
トッパン
|
| 出版年 |
1993.9
|
| ページ数 |
321p
|
| 大きさ |
21cm
|
| 原タイトル注記 |
原タイトル:An introduction to formal specification and Z
|
| 都立翻訳原書名注記 |
An introduction to formal specification and Z.の翻訳
|
| 価格 |
¥4660
|
| 内容紹介 |
対象となるシステムの「状態」およびそれに作用する「操作」について、操作の事前・事後に成立すべき条件として述語論理の枠組みで表現して仕様記述を行うZ言語。これについて初級プログラマが具体的な問題の仕様記述が可能になるよう解説した入門書。
|
| 書誌・年譜・年表 |
文献:p311〜313
|
| 一般件名 |
プログラミング(コンピュータ)
|
| 一般件名カナ |
プログラミング(コンピュータ)
|
| 一般件名典拠番号 |
510348100000000
|
| 分類：都立NDC10版 |
007.63
|
| 原文の言語 |
英語
|
| 資料情報1 |
『ソフトウェア仕様記述の先進技法-Z言語』 B.ポター／[ほか]著,
田中 武二／監訳
トッパン 1993.9（所蔵館：多摩
請求記号：/5355/4348/93
資料コード：1125828850）
|
| URL |
https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1102000239 |
