|
|
|
-
優れたデザインにとってコンセプトが重要な理由 使いやすく安心なソフトウェアを作るために
-
-
書籍
-
ダニエル・ジャクソン /
中島震
-
丸善出版
-
2023年7月発売 /
1～3日で発送
-
-
3,520円
-
Vポイント：16pt
-
-
|
|
|
|
-
AIリスク・マネジメント 信頼できる機械学習ソフトウェアへの工学的方法論
-
-
書籍
-
中島震 /
中島震
-
丸善出版
-
2022年12月発売 /
1～3日で発送
-
-
3,080円
-
Vポイント：14pt
-
-
|
|
|
|
-
ソフトウェア工学から学ぶ 機械学習の品質問題
-
-
書籍
-
中島震
-
丸善出版
-
2020年11月発売 /
1～3日で発送
-
-
3,080円
-
Vポイント：14pt
-
-
|
|
|
|
-
デジタル・プラットフォーム 解体新書
-
-
書籍
-
高梨千賀子 /
高梨千賀子
-
近代科学社
-
2019年4月発売 /
1～3日で発送
-
-
2,750円
-
Vポイント：12pt
-
-
|
|
|
|
-
ソフトウェア工学
-
放送大学大学院教材
-
書籍
-
中谷多哉子 /
中谷多哉子
-
放送大学教育振興会
-
2019年3月発売 /
在庫なし
-
-
3,520円
-
Vポイント：16pt
-
-
|
|
|
|
-
Event－B リファインメント・モデリングに基づく形式手法
-
-
書籍
-
中島震 /
中島震
-
近代科学社
-
2015年2月発売 /
【メーカー取寄】3～20日で発送予定
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
ソフト・エッジ
-
丸善ライブラリー
-
書籍
-
国立情報学研究所 /
中島震
-
丸善出版
-
2013年3月発売 /
在庫なし
-
-
836円
-
Vポイント：3pt
-
-
|
|
|
|
-
形式手法入門
-
-
書籍
-
中島震 /
中島震
-
オーム社
-
2012年4月発売 /
在庫なし
-
-
3,080円
-
Vポイント：14pt
-
-
|
|
|
|
-
抽象によるソフトウェア設計
-
-
書籍
-
Ｄａｎｉｅｌ Ｊａｃｋｓｏｎ /
ダニエル・ジャクソン
-
オーム社
-
2011年7月発売 /
在庫なし
-
-
4,950円
-
Vポイント：22pt
-
-
|
|
|
|
-
SPINモデル検査入門
-
-
書籍
-
Ｍｏｒｄｅｃｈａｉ Ｂｅｎ‐Ａｒｉ /
Ｍ．ベン・アリ
-
オーム社
-
2010年3月発売 /
在庫なし
-
-
3,630円
-
Vポイント：16pt
-
-
|
|
|
|
-
ソフトウェア工学の基礎 日本ソフトウェア科学会FOSE 2009(16)
-
レクチャーノート／ソフトウェア学
-
書籍
-
中島震 /
中島震
-
近代科学社
-
2009年11月発売 /
【メーカー取寄】3～20日で発送予定
-
-
6,600円
-
Vポイント：30pt
-
-
|
|
|
|
-
SPIN モデル検査 検証モデリング技法
-
-
書籍
-
中島震 /
中島震
-
近代科学社
-
2008年4月発売 /
1～3日で発送
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
Bメソッドによる形式仕様記述
-
トップエスイー実践講座
-
書籍
-
中島震 /
来間啓伸
-
近代科学社
-
2007年12月発売 /
在庫なし
-
-
3,960円
-
Vポイント：18pt
-
-
|
|
|
|
-
オブジェクト指向最前線(2002)
-
-
書籍
-
中島震 /
中島震
-
近代科学社
-
2002年9月発売 /
在庫なし
-
-
3,850円
-
Vポイント：17pt
-
-
|
JASRAC許諾番号 ：9036850001Y45040