「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
モデル規範(Model−oriented)と呼ばれる考え方に基づいた形式手法の基本的な概念や仕組みについて、基礎から実務レベルまでを技術的に解説する。【「TRC MARC」の商品解説】
目次
- 1章 論理で考える
- 1.1 形式手法の概要
- 1.2 発展の経緯
- 2章 指先で考える
- 2.1 Alloy入門
- 2.2 Alloyの基礎
- 2.3 Alloyとその周り
- 3章 機能仕様を論理で考える
- 3.1 手続きとデータ構造
- 3.2 正しさの基準
著者紹介
中島 震
- 略歴
- 〈中島震〉東京大学大学院理学系研究科修士課程修了。学術博士(東京大学)。情報・システム研究機構国立情報学研究所・教授(総合研究大学院大学複合科学研究科兼担)。
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む