>> Google Books
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
中島震著
言語:
日本語
出版情報:
東京 : オーム社, 2012.4
形態:
x, 216p ; 21cm
著者名:
中島, 震(1955-) <DA13681738>  
書誌ID:
BB08985290
ISBN:
9784274211881 [4274211886]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

大木, 幹雄

日本理工出版会

Rosenberg, Doug., Scott, Kendall, 今野, 睦, 長瀬, 嘉秀, テクノロジックアート

ソフトバンクパブリッシング

中谷, 多哉子, 中島, 震(1955-)

放送大学教育振興会

松浦, 佐江子

コロナ社

Rader, Robert J., 池浦, 孝雄

共立出版

五月女, 健治, 工藤, 司, 片岡, 信弘, 石野, 正彦

共立出版

Gillett, Will D., Pollack, Seymour V.

ホルト・サウンダース・ジャパン