近代科学社の書籍 通販
![モデル検査 初級編―基礎から実践まで4日で学べる [単行本]](https://image.yodobashi.com/product/100/000/009/001/277/052/100000009001277052_10205.jpg)
モデル検査 初級編―基礎から実践まで4日で学べる [単行本]
産業技術総合研究所システム検証研究センター2009/11/11
- ￥3,080
- 93 ゴールドポイント（3％還元）
- 在庫あり
- 2025年11月15日土曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- コンピュータ･情報処理
- >
- コンピュータ･情報処理
![Pythonで体験してわかるアルゴリズムとデータ構造 [単行本]](https://image.yodobashi.com/product/100/000/009/002/979/662/100000009002979662_10205_001.jpg)
Pythonで体験してわかるアルゴリズムとデータ構造 [単行本]
西澤 弘毅、森田 光2018/07/02
- ￥2,640
- 80 ゴールドポイント（3％還元）
- 在庫あり
- 2025年11月15日土曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![モデル検査 上級編―実践のための三つの技法 [単行本]](https://image.yodobashi.com/product/100/000/009/001/084/558/100000009001084558_10205.jpg)
モデル検査 上級編―実践のための三つの技法 [単行本]
産業技術総合研究所システム検証研究センター2010/02/20
- ￥3,080
- 93 ゴールドポイント（3％還元）
- 在庫あり
- 2025年11月15日土曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- ソフトウェア
- >
- ソフトウェア
![UPPAALによる性能モデル検証―リアルタイムシステムのモデル化とその検証(トップエスイー実践講座〈5〉) [全集叢書]](https://image.yodobashi.com/product/100/000/009/001/354/863/100000009001354863_10205.jpg)
UPPAALによる性能モデル検証―リアルタイムシステムのモデル化とその検証(トップエスイー実践講座〈5〉) [全集叢書]
大須賀 昭彦、長谷川 哲夫、田原 康之...ほか2012/09/26
- ￥4,180
- 126 ゴールドポイント（3％還元）
- 在庫あり
- 2025年11月15日土曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- プログラミング
- >
- プログラミング