2018/3/23 並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門トップエスイー実践講座磯部祥尚/本位田真一... [Kindle版] - 新刊.net - 書籍やCD、DVD、ゲームの新刊発売日を自動チェック

携帯からの方は、こちらからアクセスください。

並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門トップエスイー実践講座

並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門トップエスイー実践講座

イメージを拡大

発売日: 2018年3月23日金曜日 - 発売中
新刊発見日: 2018年03月24日
（2025年07月16日 11時46分 JST時点 - 詳細はこちら）

Amazon で購入する

磯部祥尚/本位田真一/東野輝夫
近代科学社

ASIN： B07BML7NWG
Kindle版

単行本
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ実践講座)

新刊チェックキーワード

形式手法 2 users
形式手法 1 user

[広告]