この情報を出力する

このページのリンク

他の検索サイト

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

データ種別 図書
出版情報 東京 : オーム社 , 2011.7
本文言語 日本語
大きさ xvi, 357p ; 21cm
目次／あらすじ

所蔵情報を非表示

図書館/第3書庫 I007.6/J 11
01517240

9784274068584

書誌詳細を非表示

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

 類似資料