>> Google Books
QRコード(所蔵情報)

形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ

フォーマット:
図書
責任表示:
赤間世紀著
言語:
日本語
出版情報:
東京 : 工学社, 2012.11
形態:
223p : 挿図 ; 21cm
著者名:
赤間, 世紀(1960-) <DA07004881>  
シリーズ名:
I/O books <BN00422062>
書誌ID:
BB10933063
ISBN:
9784777517237 [4777517233]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ

赤間, 世紀(1960-)

啓学出版
7 図書 ソフトウェア工学のベストプラクティス : ソフトウェア工学の真の工学への発展をめざして

Jones, Capers

構造計画研究所, 共立出版 (発売)
2 図書 形式手法入門 : ロジックによるソフトウェア設計

中島, 震

オーム社
8 図書 人工知能教科書

赤間, 世紀(1960-)

工学社
3 図書 抽象によるソフトウェア設計 : Alloyではじめる形式手法

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

オーム社
9 図書 Octave教科書

赤間, 世紀(1960-), 第二I/O編集部

工学社
4 図書 ソフトウェアアーキテクチャの基礎 : エンジニアリングに基づく体系的アプローチ

Richards, Mark, Ford, Neal, 島田, 浩二

オライリー・ジャパン, オーム社 (発売)
10 電子ブック Event-B : リファインメント・モデリングに基づく形式手法

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

近代科学社
5 図書 組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証

藤倉, 俊幸

CQ出版
11 図書 ソフトウェア工学

玉井, 哲雄(1948-), 中谷, 多哉子

放送大学教育振興会
6 図書 ソフトウェア信頼性の基礎 : モデリングアプローチ

山田, 茂(1952-)

共立出版
12 図書 ソフトウェア工学

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

放送大学教育振興会