抽象によるソフトウェア設計 : Alloyではじめる形式手法
抽象によるソフトウェア設計 : Alloyではじめる形式手法
- 国立国会図書館請求記号
- M159-J1354
- 国立国会図書館書誌ID
- 000011231617
資料に関する注記
一般注記：
- 原タイトル: Software abstractions
資料詳細
要約等：
- Alloy（アロイ）を通じて形式手法を学ぶ（提供元: 出版情報登録センター（JPRO））
書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
東京都立中央図書館
紙- 請求記号：
- 007.6-7861-2011
- 図書登録番号：
- 5020738156
横浜市立図書館
紙- 請求記号：
- 007.6
- 図書登録番号：
- 2064674768
近畿
京都府立図書館
紙- 請求記号：
- 007.63/J11/
大阪府立中央図書館
紙- 請求記号：
- 007.6/5732N/
- 図書登録番号：
- 1210340673
大阪市立図書館
紙- 図書登録番号：
- 0012333504
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-274-06858-4
- タイトルよみ
- チュウショウ ニ ヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
- 著者・編者
- Daniel Jackson 著中島震 監訳今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 共訳
- 著者標目
- 中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )典拠
- 出版事項
- 出版年月日等
- 2011.7
- 出版年（W3CDTF）
- 2011
- 数量
- 357p