商品の説明
内容（「MARC」データベースより）
対象となるシステムの「状態」およびそれに作用する「操作」について、操作の事前・事後に成立すべき条件として述語論理の枠組みで表現して仕様記述を行うZ言語。これについて初級プログラマが具体的な問題の仕様記述が可能になるよう解説した入門書。
登録情報
|
この商品を見た後に買っているのは？
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
最も参考になったカスタマーレビュー
1 人中、1人の方が、｢このレビューが参考になった｣と投票しています。
形式:単行本
国際規格にもなっている仕様記述言語Z。
とてもむつかしいと思った人は、本書を読むとよいらしい。
いきなり文法がでてくるのではなく、
論理演算についての足慣らしからはじまって、
順々にZの全体に言及していっている。
Zに限らず、他の形式仕様記述言語を勉強する際にも、最初の部分は役立つ。
とてもむつかしいと思った人は、本書を読むとよいらしい。
いきなり文法がでてくるのではなく、
論理演算についての足慣らしからはじまって、
順々にZの全体に言及していっている。
Zに限らず、他の形式仕様記述言語を勉強する際にも、最初の部分は役立つ。
リストマニア
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
