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

資料種別:
電子ブック
責任表示:
中島震著
言語:
日本語
出版情報:
東京 : オーム社, 2012.4
形態:
1オンラインリソース
著者名:
中島, 震(1955-)  
書誌ID:
RB00743160
ISBN:
(: electronic bk)
9783000004971 [3000004979]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

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

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

Arnowitz, Jonathan, Arent, Michael, Berger, Nevin, 富野, 壽, 岩尾, 俊二(1949-)

構造計画研究所, 共立出版 (発売)

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

Pasetti, Alessandro, 佐藤, 啓太(1963-), 宇佐美, 雅紀

翔泳社

大木, 幹雄

日本理工出版会

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

共立出版

Navabi, Zainalabedin, 佐藤, 一幸

日経BP出版センター

松浦, 佐江子

コロナ社

中島, 震(1955-), 來間, 啓伸

近代科学社

Constantine, Larry L., 原田, 実(1951-), 久保, 未沙, Yourdon, Edward, 1944-

日本コンピュータ協会