webcat_plusで詳細を確認

このページのリンク

<図書>
チュウショウ ニヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
抽象によるソフトウェア設計 : Alloyではじめる形式手法 / Daniel Jackson著 ; 中島震監訳 ; 今井健男 [ほか] 共訳

電子版 >> 抽象によるソフトウェア設計 ―Alloyではじめる形式手法―
出版者 東京 : オーム社
出版年 2011.7
巻冊次 ISBN:9784274068584 ; PRICE:4500円+税 REFWLINK
ISBN 9784274068584
本文言語 日本語
別書名 原タイトル:Software abstractions : logic, language, and analysis
大きさ xvi, 357p ; 21cm
目次/あらすじ

書誌詳細を表示

一般注記 参考文献:p.339-346
その他の共訳 : 酒井政裕, 遠藤侑介, 片岡欣夫
著者標目 Jackson, Daniel
 中島, 震(1955-) <ナカジマ, シン>
今井, 健男 <イマイ, タケオ>
酒井, 政裕 <サカイ, マサヒロ>
遠藤, 侑介 <エンドウ, ユウスケ>
片岡, 欣夫 <カタオカ, ヨシオ>
分 類 NDC8:007.63
NDC9:007.63
件 名 BSH:ソフトウェア工学
書誌ID 1400002151
NCID BB0639484X WCLINK

所蔵情報を非表示

小:2閲B1FエリアA
007.63/J11 10502021356542
 

 類似資料

 この資料を見た人はこんな資料も見ています