![AIソフトウェアのテスト―答のない答え合わせ「4つの手法」(AI・Data Science実務選書) [単行本]](https://image.yodobashi.com/product/100/000/009/003/423/675/100000009003423675_10205_002.jpg)
AIソフトウェアのテスト―答のない答え合わせ「4つの手法」(AI・Data Science実務選書) [単行本]
佐藤 直人、小川 秀人、來間 啓伸...ほか2021/05/21
- ￥3,080
- 93 ゴールドポイント（3％還元）
- 在庫あり
- 2026年3月10日火曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- ネットワーク･通信
- >
- ネットワーク･通信
![Event-B―リファインメント・モデリングに基づく形式手法 [単行本]](https://image.yodobashi.com/product/100/000/009/002/279/445/100000009002279445_10205_002.jpg)
Event-B―リファインメント・モデリングに基づく形式手法 [単行本]
中島 震、來間 啓伸2015/02/26
- ￥4,180
- 126 ゴールドポイント（3％還元）
- 在庫あり
- 2026年3月10日火曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![情報処理2017年8月号別刷「《特集》「ソフトウェア工学の最前線 ～ ソフトウェアが社会のすべてを定義する時代 ～」（情報処理学会） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/554/973/100000086600554973_10205_001.jpg)
情報処理2017年8月号別刷「《特集》「ソフトウェア工学の最前線 ～ ソフトウェアが社会のすべてを定義する時代 ～」（情報処理学会） [電子書籍]
2017/07/15
- ￥770
- 154 ゴールドポイント（20％還元）
- すぐ読めます
- 雑誌
- >
- 科学・テクノロジー
![Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/106/100000086600915106_10205.jpg)
Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]
中島 震、來間 啓伸2015/02/26
- ￥4,180
- 836 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/126/100000086600915126_10205.jpg)
Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]
本位田 真一、中島 震、来間 啓伸2007/12/01
- ￥1,980
- 396 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア