形式手法モデル理論アプローチ : 情報システム開発の基礎
著者
書誌事項
形式手法モデル理論アプローチ : 情報システム開発の基礎
日科技連出版社, 2007.11
- タイトル読み
-
ケイシキ シュホウ モデル リロン アプローチ : ジョウホウ システム カイハツ ノ キソ
大学図書館所蔵 全50件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の著者: 齋藤敏雄, 旭貴朗, 柴直樹
参考文献: 章末
内容説明・目次
内容説明
モデル理論アプローチと高校2年生レベルの数学の知識を使い、システムエンジニアの専門家にとって中核となる情報システム開発の基礎をわかりやすく解説。
目次
- 序章 モデル理論アプローチとは何か
- 第1章 論理的に考える
- 第2章 集合で記述する
- 第3章 オートマトンでモデル化する
- 第4章 コンピュータ可読に表現する
- 第5章 問題解決システムを開発する
- 第6章 業務処理システムを開発する
- 第7章 システムの開発環境
「BOOKデータベース」 より