ご使用のブラウザでは、Cookieの設定が無効になっています。
すべての機能を利用するには、ブラウザの設定から当サイトドメインのCookieを有効にしてください。

  • 形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編 第2版

  • 形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編 第2版

形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編 第2版

  • ISBN
    978-4-8171-9572-2
  • 発売日
    2016年02月

閉じる

例)1234567

[住所の変更]

宅配受取り
店舗受取り(送料無料
セブン-イレブン
その他の店舗

閉じる

[対象店舗]
お急ぎ店舗受取り(324円

数量:

2,200 (税込:2,376

在庫あり

シェアする
Facebook
Twitter
メール

閉じる

ログイン後、改めてメールの送信をお願いします。 ログイン

商品の説明

  • 「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第2版。
目次
第1章 論理的に考える(命題論理
述語論理)
第2章 集合で記述する(集合の表現とその記法
リスト
集合の演算
関係
同値関係
順序関係
関数)
第3章 オートマトンでモデル化する(オートマトン(200円商品自動販売機)
オートマトンの例(状態がシンボルの場合)
モデル化の実際(状態が数値の場合)
オートマトンの動作と物理実現)
第4章 関係データベースでモデル化する(データベースとは
データベース設計
データベースの構築と操作)

商品詳細情報

フォーマット 単行本
サイズ 21cm
版数 第2版
初版の取り扱いについて 初版・重版・刷りの出荷は指定ができません。
また、初版にのみにお付けしている特典(初回特典、初回仕様特典)がある商品は、
商品ページに特典の表記が掲載されている場合でも無くなり次第、終了となりますのでご了承ください。

ページの先頭へ

閉じる

  • 形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編 第2版
  • 形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編 第2版

閉じる

エラーが発生しました。

読み込み中