電子書籍 通販
![情報処理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％還元）
- すぐ読めます
- 雑誌
- >
- 科学・テクノロジー
![UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/124/100000086600915124_10205.jpg)
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証（近代科学社） [電子書籍]
本位田 真一、大須賀 昭彦、長谷川 哲夫...ほか2012/09/01
- ￥4,180
- 836 ゴールドポイント（20％還元）
- すぐ読めます
- プログラミング
- >
- プログラミング
![SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/123/100000086600915123_10205.jpg)
SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]
本位田 真一、萩谷 昌己、吉岡 信和...ほか2008/09/01
- ￥3,960
- 792 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア
![情報処理 2022年8月号（情報処理学会） [電子書籍]](https://image.yodobashi.com/product/100/000/086/601/666/616/100000086601666616_10205.jpg)
![ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/129/100000086600915129_10205.jpg)
ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎（近代科学社） [電子書籍]
本位田 真一、田中 譲、磯部 祥尚...ほか2008/09/30
- ￥4,180
- 836 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア