近代科学社の情報･通信･コンピュータ 通販
![Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/126/100000086600915126_10205.jpg)
Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]
本位田 真一、中島 震、来間 啓伸2007/12/01
- ￥1,980
- 396 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア
![SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/123/100000086600915123_10205.jpg)
SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]
本位田 真一、萩谷 昌己、吉岡 信和...ほか2008/09/01
- ￥1,980
- 396 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア
![データ分析ライブラリーを用いた最適化モデルの作り方（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/133/100000086600915133_10205.jpg)
データ分析ライブラリーを用いた最適化モデルの作り方（近代科学社） [電子書籍]
久保 幹雄、斉藤 努2018/12/13
- ￥1,760
- 352 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/106/100000086600915106_10205.jpg)
Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]
中島 震、來間 啓伸2015/02/26
- ￥2,090
- 418 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![VDM＋＋による形式仕様記述 形式仕様入門・活用の第一歩（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/120/100000086600915120_10205.jpg)
VDM＋＋による形式仕様記述 形式仕様入門・活用の第一歩（近代科学社） [電子書籍]
本位田 真一、荒木 啓二郎、石川 冬樹2011/07/27
- ￥2,090
- 418 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア