形式手法入門 : ロジックによるソフトウェア設計 | 茨城大学附属図書館 OPAC

>> Google Books

QRコード(所蔵情報)

形式手法入門 : ロジックによるソフトウェア設計

フォーマット:: 図書
責任表示:: 中島震著
言語:: 日本語
出版情報:: 東京 : オーム社, 2012.4
形態:: x, 216p : 挿図 ; 21cm
著者名:: 中島, 震(1955-) <DA13681738>
書誌ID:: BB08985290
ISBN:: 9784274211881 [4274211886]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

その他の標題:	形式手法入門 : ロジックによるソフトウェア設計
主題:	システム設計
分類・件名:	NDC8 : 007.63 NDC9 : 007.63 NDC9 : 007.61 BSH : ソフトウェア工学 NDLSH : システム設計
注記:	参考文献: p[203]-210 索引: p[211]-216
タイトルのヨミ、その他のヨミ:	ケイシキシュホウニュウモン : ロジックニヨルソフトウェアセッケイ
その他のタイトルのヨミ、その他のヨミ:	ケイシキシュホウニュウモン : ロジックニヨルソフトウェアセッケイ
TTLL:	jpn
著者名ヨミ:	ナカジマ, シン

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書抽象によるソフトウェア設計 : Alloyではじめる形式手法 Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震 (1955-) オーム社	7 図書設計者に必要なソフトウェアの基礎知識 : これだけは知っておきたいソフトウェアの知識と考え方藤田, 和彦(1965-), 実際の設計研究会日刊工業新聞社
2 図書構造化手法によるソフトウェア開発 : 90年代を目指すシステム構築戦略黒田, 純一郎(1942-), 渡部, 研一(1944-), Yourdon, Edward, 1944- 日経マグロウヒル社	8 図書ソフトウェア設計 Rader, Robert J., 池浦, 孝雄共立出版
3 図書セキュア・バイ・デザイン : 安全なソフトウェア設計 Johnsson, Dan Bergh, Deogun, Daniel, Sawano, Daniel, 須田, 智之マイナビ出版	9 図書ソフトウェアシステム工学入門五月女, 健治, 工藤, 司, 片岡, 信弘, 石野, 正彦共立出版
4 図書シナリオに基づく設計 : ソフトウェア開発プロジェクト成功の秘訣 Carroll, John M., 1950-, 郷, 健太郎共立出版	10 図書ソフトウェア工学中谷, 多哉子, 中島, 震(1955-) 放送大学教育振興会
5 図書ソフトウェアの構造化設計法 Constantine, Larry L., 原田, 実(1951-), 久保, 未沙, Yourdon, Edward, 1944- 日本コンピュータ協会	11 図書特集・技術者のためのCプログラミング入門 : MS-C,Quick C,Turbo Cによるソフトウェア設計のすべて大貫, 広幸(1958-), 堀, 達磨 CQ出版社
6 図書かんたんUML : ITマネージャとソフトウェア設計エンジニアのための : オブジェクト指向モデリング言語がわかる本オージス総研, 千藤, 雅弘翔泳社	12 図書ソフトウェアの達人たち : 認知科学からのアプローチ Winograd, Terry, 1946-, 滝口, 範子アジソン・ウェスレイ・パブリッシャーズ・ジャパン, 星雲社 (発売)