並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座)
2012-12-26 (水) - 発売中
並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座)Amazonで購入する 他のショップで探す |
- 新刊発見日: 2012年11月14日
- 近代科学社
- EAN: 9784764904354
- 単行本
- Powerd by openBD
B☆W版