|
抽象によるソフトウェア設計
Daniel Jackson 著 ; 中島震 監訳 ; 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 共訳
[目次]
- ざっと一巡り
- 論理系
- 言語
- 解析
- 事例
- 練習問題
- Alloy言語リファレンス
- 中核の意味論
- 図的記法
- Alloy以外の手法
- Alloy Analyzerクイックガイド
- 訳語一覧
「BOOKデータベース」より
|
書名 |
抽象によるソフトウェア設計 |
著作者等 |
Jackson, Daniel
中島 震
今井 健男
遠藤 侑介
酒井 政裕
片岡 欣夫
|
書名ヨミ |
チュウショウ ニ ヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ |
書名別名 |
Software abstractions
Alloyではじめる形式手法 |
出版元 |
オーム社 |
刊行年月 |
2011.7 |
ページ数 |
357p |
大きさ |
21cm |
ISBN |
978-4-274-06858-4
|
NCID |
BB0639484X
※クリックでCiNii Booksを表示
|
全国書誌番号
|
21961068
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
原文言語 |
英語 |
出版国 |
日本 |
この本を:
|
件が連想されています
|