![並行システムの検証と実装―形式手法CSPに基づく高信頼並行システム開発入門(トップエスイー実践講座〈6〉) [全集叢書]](https://image.yodobashi.com/product/100/000/009/001/731/641/100000009001731641_10205.jpg)
並行システムの検証と実装―形式手法CSPに基づく高信頼並行システム開発入門(トップエスイー実践講座〈6〉) [全集叢書]
東野 輝夫、磯部 祥尚2012/12/31
- ￥5,060
- 152 ゴールドポイント（3％還元）
- 在庫あり
- 2026年3月2日月曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（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％還元）
- 在庫あり
- 2026年3月2日月曜日までにヨドバシエクストリームサービス便がお届け
在庫のある店舗（0）
- プログラミング
- >
- プログラミング
![並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/122/100000086600915122_10205.jpg)
並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]
本位田 真一、東野 輝夫、磯部 祥尚2012/12/26
- ￥5,060
- 1,012 ゴールドポイント（20％還元）
- すぐ読めます
- プログラミング
- >
- プログラミング
![UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/124/100000086600915124_10205.jpg)
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証（近代科学社） [電子書籍]
本位田 真一、大須賀 昭彦、長谷川 哲夫...ほか2012/09/01
- ￥4,180
- 836 ゴールドポイント（20％還元）
- すぐ読めます
- プログラミング
- >
- プログラミング
![ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/129/100000086600915129_10205.jpg)
ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎（近代科学社） [電子書籍]
本位田 真一、田中 譲、磯部 祥尚...ほか2008/09/30
- ￥4,180
- 836 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア